Skip to content

Conversation

@axelsimon
Copy link
Member

Remove Bertie's keys following his departure.

@priteau
Copy link
Member

priteau commented Dec 17, 2025

You should create the pull request from a branch of this repository instead of a fork.

@axelsimon
Copy link
Member Author

@priteau can do, but i don't have push rights to this repo as far as i can tell :)

git push upstream
Username for 'https://github.com': 

@GavinHeff GavinHeff closed this Dec 19, 2025
@GavinHeff
Copy link
Contributor

Change already merged in #147

@priteau
Copy link
Member

priteau commented Dec 19, 2025

@priteau can do, but i don't have push rights to this repo as far as i can tell :)

git push upstream
Username for 'https://github.com': 

All developers have write access and you are in this team…

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.

3 participants