a test of 'git push'