rule for pushing to github repositories

"git clone git://github.com/username/repo" is now enough, the push-url
will be automatically used