Hello - I'm an upstream developer for Dolphin Emulator and owner of the org.DolphinEmu.dolphin-emu repo.

We'd like to replace the Flatpaks currently being built on the Flathub-provided build system with the ones built by our own CI infrastructure, similar to projects like OBS and warzone2100.

Our CI setup can be found here. We use Buildbot as the build system and flat-manager to manage our repos. Are we able to just re-use our current set of flat-manager commands to push to Flathub?

Right now, here's how users can get our Flatpak builds:

• Development (nightly) builds: https://flatpak.dolphin-emu.org/dev.flatpakrepo
• Release builds: https://flatpak.dolphin-emu.org/releases.flatpakrepo (empty at the moment because we have not made a release after merging Flatpak support yet)
• Single-file bundles are also available on dolphin-emu.org.

I was planning to have our development builds be pushed to Flathub beta, and our future releases pushed to normal Flathub. Is this fine with everyone?

(Thank you to @cpba for their assistance!)