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

Posted by GeekDude in #github at 2015-05-12T01:48:20Z

milki: it's an XKCD comic. Say shibboleet when on the phone for tech support and you'll be redirected to someone who knows a minimum of two programming languages
+ [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