message no. 176858
Posted by Stummi in #github at 2020-02-04T13:06:32Z
another approach was to do on: push, and use the github API to search for a PR related to the current branch, but this doesn't seem to be easy either
Posted by Stummi in #github at 2020-02-04T13:06:32Z