git workflow: recs about when to push
Merge pull request #21 from Clever/git-push-advice

git workflow: recs about when to push