git workflow: recs about when to push

fixes #17