Skip to content

chore: add @guillaumemichel as admin to buoy #66

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.

Sign up for GitHub

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

Merged
aschmahmann merged 2 commits into from
Jun 12, 2026
Merged

chore: add @guillaumemichel as admin to buoy #66

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
a2848ae
chore: add @guillaumemichel as admin to buoy
guillaumemichel Jun 12, 2026
a88c5d0
fix@27402431596 [skip fix]
github-actions[bot] Jun 12, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions github/ipshipyard.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -119,6 +119,8 @@ repositories:
allow_update_branch: false
archived: false
collaborators:
admin:
- guillaumemichel
push:
- web3-bot
default_branch: master
Expand Down Expand Up @@ -674,6 +676,8 @@ repositories:
- SgtPooki
- snadrus
- ZenGround0
push:
- web3-bot
default_branch: main
has_discussions: false
merge_commit_message: PR_TITLE
Expand Down