Gitlab Bot: When a PR is posted in an issue, add label "has-PR", gather stats in civicrm.org
Related to community/community-engagement#24
This will help identify issues that need review or that can be closed (if the PR has been merged but we forgot to close).
-
Add "has-pull-request" label to issues that mention a PR -
Keep some stats in civicrm.org (last active, etc, see comments) -
Add webhooks everywhere (still todo: extensions) -
Modify auto-close bot so that issues with a PR are pinged, but not closed