Description
@romanowski came up with an idea how to reduce the burden of maintaining the community build.
Currently when some changes in the compiler break the tests of a project from the community build the developer introducing the changes needs to push a fix to the fork of that project defined in the community build settings. But at some point the changes from the fork should be merged back to the upstream repo. This step could be simplified by automatically opening a PR to the upstream repo when we merge something to the fork. Then the maintainers of the upstream repo could then simply accept the PR to get the changes.
@tdudzik has prepared a working solution for that but one last thing that is needed is finding the proper way of authentication for the github actions.
@smarter do we happen to have a github bot account that could be used for that?