I’m happy my app is packaged on Flathub. I have moved recently its homepage and I’d like to change the app ID according to the new URI (globally, not for Flathub only). Are the following assumptions true?
- I have to make a pull request for the new ID.
- There is no automatic migration for users or even a notification.
- It would be a good idea to patch the old version on Flathub, adding a popup dialog informing users about the change, ideally with a checkbox that they don’t want to see that hint anymore.
Thanks a lot!