message no. 43448
Posted by tarkus in #github at 2014-08-27T05:42:43Z
Hey. Is there a way to merge a PR manually (i need to make final edits before merging, for example fix code style issues etc.)
Posted by tarkus in #github at 2014-08-27T05:42:43Z