merge: add pushing to GitHub