cd /your/src/dir
git pull
<edit stuff>
git diff
<look at stuff; possibly edit more stuff>
git commit -m "edited stuff"
<oops...forgot something; edit another file>
git commit -a --amend
git push origin
Which, of course, has the added advantage that you're using git, instead of using a GUI obfuscation layer on top of git, and therefore learning your tools.I mean...I sort of get why people do git integration in editors (even thought it tends to lead to ignorance of git), but opening up another, non-console, non-editing app, just for git?