message no. 155304
Posted by yhhko in #github at 2016-10-31T19:13:58Z
danimal2: you should add his repository as a remote to your local repository, and then cherry-pick the commit that you want on top of your branch --- then you can optionally push that commit onto your github repo