Who has the right to merge?

[vvvyyynet]

Just helped @addrichmauch to merge his latest PR into main. The PR had been approved by @maehr but not merged and since Addrich's github account does not have the rights to merge (there's no merge-button) he could not proceed.

What is the intended workflow?

• Either everybody should have merge rights
• Or the reviewers should merge directly after approving.