Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Minutes from CG plenary 2024-02-28 #630

Merged
merged 6 commits into from Mar 6, 2024
Merged

Conversation

michielbdejong
Copy link
Contributor

No description provided.

meetings/2024-02-28.md Show resolved Hide resolved
meetings/2024-02-28.md Show resolved Hide resolved
meetings/2024-02-28.md Show resolved Hide resolved
meetings/2024-02-28.md Outdated Show resolved Hide resolved
meetings/2024-02-28.md Outdated Show resolved Hide resolved
meetings/2024-02-28.md Outdated Show resolved Hide resolved
michielbdejong and others added 5 commits March 1, 2024 10:19
Co-authored-by: Sarven Capadisli <info@csarven.ca>
Co-authored-by: Sarven Capadisli <info@csarven.ca>
Co-authored-by: Sarven Capadisli <info@csarven.ca>
Co-authored-by: Sarven Capadisli <info@csarven.ca>
Co-authored-by: Ted Thibodeau Jr <tthibodeau@openlinksw.com>
@michielbdejong
Copy link
Contributor Author

@VirginiaBalseiro can you merge this and/or give me permission to do so?

Screenshot 2024-03-01 at 10 22 02

I think I'll be allowed to merge it once at least one committer approves it.

@VirginiaBalseiro
Copy link
Member

VirginiaBalseiro commented Mar 1, 2024

@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.

Copy link
Member

@csarven csarven left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good catch re Comunica. I thought I misspelled it at first =)

Please squash merge at your convenience if no other suggestions.

@elf-pavlik
Copy link
Member

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.

@csarven
Copy link
Member

csarven commented Mar 1, 2024

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 w3c-cg/solid#17 to indicate PR review time for minutes.

@VirginiaBalseiro VirginiaBalseiro merged commit b915244 into main Mar 6, 2024
@VirginiaBalseiro VirginiaBalseiro deleted the minutes-2024-02-28 branch March 6, 2024 10:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants