Skip to content

Conversation

@matt-phylum
Copy link

The Discord server is no longer active.

Copy link
Contributor

@maxrake maxrake left a comment

Choose a reason for hiding this comment

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

I accidentally (really, I promise) made this same change directly to main. I forgot to create a branch and I guess this repo doesn't have any of the same branch protections set up that we have on other repos. My bad. Anyway...this PR can be closed as already complete.

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