GIT commands to copy, edit, commit and push repository from local computer to GitHub