[gitlab-org/gitlab] Monitor long-term fix for GitHub PR => GitLab CI/CD mirroring #72
Description
During the process of converting from Travis CI to GitLab CI, came across a dealbreaker with this bug:
Thankfully, the discussion mentioned https://github.com/coq/bot/, which we've been using ever since. While this workaround has been reliable, we still need to monitor when GitLab actually provide this functionality themselves.