How do I get this work?
I believe you just need to...
$ git push cosman devel
John Eckersberg IT Engineering Support Red Hat, Inc.
And if that doesn't work, add --force when pushing up to github. Be careful though, --force will blow away anything in the destination, so if you have something you actually want there don't use it. Since github is just a place for me to dump updates for others to get, I have no problem using --force.