GitHub Robot Tasks

This page documents the list of robots / GitHub apps that we'd like to build to help automate some of the day to day heavy lifting of running the OMPI GitHub infrastructure. This is currently an ordered list by priority.

1. Ticket Lifecycle

   • Comment on ticket when no 'State: ' labels have been added to an issue in 1 week, asking developers to update
   • Comment on ticket when no updates in 2 weeks, asking developers to update, if no label or 'State: Awaiting developer information'
   • Close ticket with note when in state 'State: Awaiting user information' for 1 week
   • when in state 'State: Awaiting merge to release branches' for more than 1 hour and no more 'Target: *' labels, remove 'State: Awaiting merge to release branches' label and close ticket

2. PR Lifecycle

   • For new PR, add label 'Target: ', where is the target branch
   • For PR, remove any labels 'Target: *' except for the one that is 'Target: ' (our developers like to add lots of targets
   • If PR has a "fixes" reference to a ticket, on merge, remove label 'Target: ' from the ticket
   • Add comment asking for change if there is a 'cherry picked from commit XXXX' in the commit and XXXX is not from master.

3. Block PRs in '⚠️ WIP-DNM!"

   • If there is a '⚠️ WIP-DNM!' label attached to a PR, block merging by failing CI test, otherwise pass CI test (we'll then make that a mandatory test for merge)

4. Implement the DCO checker probot (signed-off-by checker)

   • Yes, we already have one, but it would be better if all the robots used the same infrastructure
   • Basically, we want the DCO Probot app, but allowing the author emails to mismatch. The person posting the PR's email should match the signed-off-by.