prefix github-specific commands with github, to avoid confusion