+ [2015-05-12T20:04:57Z] VxJasonxV https://help.github.com/articles/using-pull-requests/
+ [2015-05-12T20:05:47Z] FrameFever VxJasonxV: yes I clicked the fork button
+ [2015-05-12T21:58:09Z] Xeon06 Hey guys. Is there any quick way to change the branch a pull request will be merging into?
+ [2015-05-12T23:32:35Z] abara what?

message no. 93422

Posted by benjamingr in #github at 2015-05-12T01:22:29Z

milki: right, but I was posting issues and performing legitimate activity, I didn't actually _do_ anything to breach the ToS or annoy them. This is just a bot not categorising things correctly.
+ [2015-05-13T00:52:58Z] tejasmanohar can i `git push origin anotherbranch` if im on master locally
+ [2015-05-13T00:53:28Z] tejasmanohar assuming it can all be nicely automatically merged
+ [2015-05-13T01:44:55Z] PDogJr how do I contribute to the wiki of a repo where I don't have push access?
+ [2015-05-13T01:50:20Z] PDogJr oh wait never mind I see I just have to be logged in to GitHub in order to see the buttons for editing a wiki