How do you push to github without a repo you own and control? Are people pushing patches through the web interface or something?