Will Thompson
Will Thompson
> > if a PR is not merged within the same UTC day as being opened, it'd open another one because the hash would change > > An alternate approach...
I think it goes even further than what you said. My not-actually-a-Flathub-admin-but-have-my-face-on-this-piece-of-infra understanding is that apps should only automerge if one of the following is true: - They are extra-data,...
The original use case was that the Endless instance of this bot did not have write access to the Flathub repos it monitored. But that use case is long gone!
The checker just follows the redirect. To me this suggests that the redirect temporarily, incorrectly, redirected to bare HTTP.
This occasionally happens for other projects as well and tends to be caused by the bot hitting a stale mirror of whatever index it's checking. The "nice" thing is that...
I can't find where this was discussed before. IMO it is fine to just chase the tip of shared-modules and other submodules, but I think the change should only be...
Found it! https://github.com/flathub/flathub/pull/1372
@jakobjakobson13 pull requests very welcome!
I think we can now cover the Anydesk case using the feature added in #46.
On https://github.com/flathub/com.adobe.Flash-Player-Projector/pull/28 we hit an issue where the tarball changed, but the web page from which the version number is scraped had not been updated. As a result, the generated...