[curryhowardiso]

That would be super cool, and I've noticed the branch protection features changing on GitHub, so perhaps they're thinking about this space too.