Jeff,
i gave it a little thoughts and that does not seem to hard to achieve.
ghi https://github.com/stephencelis/ghi is a cli to manage (among other
things) labels, milestones and assignee
the elegant way would be to use webhooks and act accordingly
(short version: github issue a json request
Folks,
currently, https://github.com/open-mpi/ompi last commit was 13 days ago
(see attached snapshot)
this is not the most up to date state !
for example, the last commit of my clone is
commit 54c839a970fc3025a08fe1c04b7d4b9767078264
Merge: dee6b63 5c5453b
Author: Gilles Gouaillardet