Skip to content

Conversation

@axelsimon
Copy link
Member

Remove Bertie's keys following his departure.

@axelsimon axelsimon closed this Dec 17, 2025
@mnasiadka
Copy link
Member

I don't think you want to merge 9 commits, and you wanted to rebase instead of merging master branch into that feature branch?

@axelsimon
Copy link
Member Author

There a bunch of commits that shouldn't be there. Closing to clean up first.

@axelsimon
Copy link
Member Author

Exactly, thanks @mnasiadka. I forgot to rebase locally before pushing my changes.

@axelsimon axelsimon changed the title Remove Bertie Remove Bertie (PR made in error) Dec 17, 2025
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.

7 participants