I use a piece of software on Flathub called Monero, and noticed it was out of date today with a new tagged version in the upstream repo. I made an issue but then noticed that the last version bump happened from @flathubbot on Github.
How does @flathubbot work? Does it make the PR when a new version is added to the upstream’s “Releases” sections on Github? (The new Monero version is only tagged, but not yet in “Released”).
Anyways, didn’t find anything on Google on it so I was curious