Add instructions for pushing to Github