commands, the currently running one is "git push", there is no warranty for the username for github.com with an ok/cancel buttonset. ALT 2h