This is not a real issue and nothing to currently work on, but rather a reminder/note.
Should we ever reach the point where we get blocked or unhappy by/with github-manager, we should have a look at Prow and Peribolos. See https://www.youtube.com/watch?v=te3Xj2zr1Co and
for more information.