I was going to suggest that Jenkins can do polling. But agreed that a webhook is certainly more efficient. Either way, Jenkins is a nice, free option!
Yes, hi. nostr:npub1tcekjparmkju6k83r5tzmzjvjwy0nnajlrwyk35us9g7x7wx80ys9hjmky have you considered GitHub triggers with Jenkins? You could setup build jobs for exactly what you want, and they could be triggered by new commits or releases.
I was going to suggest that Jenkins can do polling. But agreed that a webhook is certainly more efficient. Either way, Jenkins is a nice, free option!
Precisely, we rely on it heavily at work.