github: test a push from the command line to verify