Skip to content

Conversation

RunpengLuo
Copy link
Collaborator

No description provided.

@simozacca
Copy link
Contributor

@RunpengLuo I have approved this but it seems to not be sufficient. Could you please check who is required to make sure that this go through please?

@RunpengLuo
Copy link
Collaborator Author

RunpengLuo commented Dec 6, 2024

Thanks @simozacca. I think the merge requires members with write or admin permission. Unfortunately I don't have access to check the list of members & permission in this repo under Setting tab. I will try to bring this up during next week's meeting with Ben.

GitHub doc

@RunpengLuo RunpengLuo merged commit 3729a35 into master Jan 15, 2025
6 checks passed
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.

2 participants