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

Posted by benjamingr in #github at 2015-05-12T01:23:26Z

Yeah, I'm pretty sure I do, I posted on a gist between several people about editors and I wrote a post about why I like WebStorm best for web dev and it might have looked like an ad for webstorm.
+ [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