Further Git integration


#1

For a file being edited that is under a local git repository, it would be nice to be able to commit and push as this would facilitate simple markdown related changes to things such as README files, etc.