+ [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. 93414

Posted by benjamingr in #github at 2015-05-12T01:19:14Z

milki: I used the support form but I really need my profile up, I have issues on repos that are discussed _right now_ by multiple people and this is wasting everyone's time :/
+ [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