message no. 182868
Posted by BtbN in #github at 2020-06-26T17:39:59Z
A pull request is effectively saying "merge all commits from this branch that are not in $targetBranch into it"
Posted by BtbN in #github at 2020-06-26T17:39:59Z