[Rock-dev] github workflow

[Jakob Schwendner]

Hey,

I just wanted to share with you my experience with the hub command, which is
a command line interface to github. 

The current version uses go, but the old version in ruby worked just fine
for me. 
I installed it using 

gem install hub

you can alias it as an exchange for the git command, but I was happy to use
the hub command directly.

Workflow:
- [Let autoproj do what it does]
- [You find something in one of the libs that you need to change]
- hub fork
  * will clone the repo on github into your personal account
  * will create a remote with your account name as alias
- [Here its usually nice to create a new branch. This makes the pull-request
easier to handle.]
- [Do your updates and commits]
- git push <your account> master
  * normal git push, here to the master branch
- hub pull-request
  * will create a pull request for your current branch to the upstream repo
(the one that you forked from)
- [Discuss with others why your changes are good. Then change according to
comments :)]

Sorry, if this was already known to you, but the hub command had me excited
yesterday, and I wanted to share this.

Cheers,

Jakob