Browsing: important git commands