message no. 167981
Posted by giampaolo in #github at 2017-04-29T17:17:10Z
hello, when I receive a PR from users I would like to #1 checkout the change locally without merging it into master (for testing) #2 make commits and push them so that they get included in that same PR - how can I do that?