Documentation: setup of git push integration

[ejucovy]

Write a document describing the necessary steps to set up a git repository for code snippet edits to be pushed to.