github push doesn't need any arguments
Document github command runner as noted in #156