message no. 171719
Posted by birkoff in #github at 2019-04-15T09:11:21Z
do I have to manually create a branch and merge a commit I want to create PR for or is there a shorter way to PR a commit ?
Posted by birkoff in #github at 2019-04-15T09:11:21Z