I mean, define "GitHub integration". It's relatively straightforward to put a bot together that just emits webhook notifications - otherwise Maubot seems to be

I mean, define "GitHub integration". It's relatively straightforward to put a bot together that just emits webhook notifications - otherwise Maubot seems to be the route of choice here.