git commands linux raspberry pi