This is very useful although we find that ABI compliance checker has
false positives. What would be super useful is Github integration on
pull requests. Even if this was not something you yourself had the
resources to support, if you had a recipe for projects to set up
Github hooks ourselves that would be cool.