Git-up – a friendly and polite alternative to git pull

		Git-up – a friendly and polite alternative to git pull (github.com/aanand)
		2 points by pstadler on July 18, 2013 \| hide \| past \| favorite