Closed michielbdejong closed 3 months ago
@VirginiaBalseiro can you merge this and/or give me permission to do so? I think I'll be allowed to merge it once at least one committer approves it.
We all have the same permission. If you have no approvals you can tick the Merge without waiting for requirements...
checkbox and merge, like I usually do.
If you have no approvals you can tick the Merge without waiting for requirements...
The screenshot shared by @michielbdejong doesn't seem to have that option, it says that he is not authorized.
This repository has branch protection requiring one approval for PRs. I've just double checked. The chairs should now be able to bypass the branch protection rules in addition to dismissing PRs. Chairs already have Write access to the repository.
On a relate note, earlier today I've also updated https://github.com/w3c-cg/solid/pull/17 to indicate PR review time for minutes.
@VirginiaBalseiro can you merge this and/or give me permission to do so?
I think I'll be allowed to merge it once at least one committer approves it.