rest-commands.js: github: do not ask for username