Add auto-merge bot workflow for successful PRs

[arash77]

Implement a workflow that automatically merges pull requests authored by the bot after a successful build. This streamlines the process and reduces manual intervention.

[bgruening]

Nice! I'm wondering why you are doing it manually and not using on of the available actions, like https://github.com/marketplace/actions/enable-automerge-action

[arash77]

Nice! I'm wondering why you are doing it manually and not using on of the available actions, like https://github.com/marketplace/actions/enable-automerge-action

You are right. I will go with this approach then. But we have to enable some options in the repo settings (if they are not done before)

1. Enable auto-merge in repo settings

2. Add branch protection rule for main and enable Require status checks to pass before merging and Require branches to be up to date before merging

3. Create a Personal Access Token (PAT)

GitHub blocks GITHUB_TOKEN from calling the enablePullRequestAutoMerge on PRs from forks that are on dockerhub-toolshed, so a real user PAT is required with the scopes of:

• Contents: Read and Write
• Pull requests: Read and Write

[bgruening]

Require branches to be up to date before merging

We can not do this. it would mean only the first bot PR can be merged, all others would not be up to date.

[bgruening]

I enabled branch protection. The PAT we can do on Thursday maybe together?

[arash77]

I enabled branch protection. The PAT we can do on Thursday maybe together?

We could also use GitHub Apps like https://github.com/apps/biocontainers-automerge-bot/