As proposed [here](https://github.com/MagicMirrorOrg/MagicMirror-Documentation/pull/310#issuecomment-2940921414) we could use a github action that - triggers on a push / pr merge on `master` - merges master on develop