message no. 159683
Posted by zeromus in #github at 2016-12-18T21:34:13Z
no, it means in the header for the PR. "user wants to merge 1 commit into myrepo:mybranch from hisrepo:hisbranch"
Posted by zeromus in #github at 2016-12-18T21:34:13Z