a test on pushing to github from CLI