Hi Matthias,
Jeremiah, what can we do sysadmin-wise to get notifications regarding Git pushes to our source.puri.sm Gitlab instance?
[…]
Having some really dumb run-off-the-mill GitLab bot for it right now would do the trick well,
Mmm indeed… but even a (as you describe it) "really dumb" thing has seemingly taken over a year to be actioned by the sysadmins. ;)
Best wishes,