push HelloWorld file to GitHub