After reading Erik's email, I found this Scala PR <https://github.com/scala/scala/pull/3963> and immediately noticed a few cool things:
- Jenkins is hooked directly into GitHub somehow, so you get the "All is well" message in the merge status window, presumably based on the last test status - Jenkins is also tagging the PR based on its test status or need for review - Jenkins is also tagging the PR for a specific milestone Do any of these things make sense to add to our setup? Or perhaps something inspired by these features? Nick