It's increasingly common to build bots that manage issues on GitHub. For example Go has a bot that cross-references: https://github.com/golang/go/issues/11369