Give workflow suitable permissions to push to master

The workflow console looks perfect, seems like everything had worked as it should. However, the GitHub actions token has no suitable permission to push torwards master. It seems we need to adapt the repository config to make the workflow run successful…

In the GitHub support community forum, it was suggested to create a new secret inside the repository settings. (…/settings/secrets). Then we can use it inside the workflow file:

${{ secrets.GITHUB_TOKEN_OURS }}

https://github.community/t/how-to-push-to-protected-branches-in-a-github-action/16101/23

Merge made by the 'recursive' strategy.
 main/src/cgeo/geocaching/utils/SystemInformation.java | 2 ++
 1 file changed, 2 insertions(+)
remote: error: GH006: Protected branch update failed for refs/heads/master.        
remote: error: You're not authorized to push to this branch. Visit https://docs.github.com/articles/about-protected-branches/ for more information.        
To https://github.com/cgeo/cgeo.git
 ! [remote rejected]     master -> master (protected branch hook declined)
error: failed to push some refs to 'https://github.com/cgeo/cgeo.git'
Error: Process completed with exit code 1.

_Originally posted by @fm-sys in https://github.com/cgeo/cgeo/issues/11733#issuecomment-927311590_

[Lineflyer]

I was wrong, tested it and it seems to work now…Hurray! Need to check the result though.

What would happen if the merge results in conflicts…would it abort?

[Lineflyer]

Thanks @fm-sys for implementing the workflow. Seems to work fine!!!