Thank you for this idea. I wasn’t aware, that you can subscribe to an rss feed for releases on gitlab/github.

I think that I will follow your approach.