Create a new command to push to a given branch on a given git repository

[marco-c]

For example, this can be useful to publish documentation on gh-pages (mozilla/rust-code-analysis#211).