Skip to content

Conversation

@Epivitae
Copy link
Collaborator

No description provided.

@Epivitae Epivitae merged commit f42bb26 into main Jan 17, 2026
2 checks passed
@ctrueden
Copy link
Member

ctrueden commented Jan 17, 2026

@Epivitae Just a heads up: when making changes, you can push directly to the main branch without filing a pull request. That will reduce the noise in this repository's "Pull requests" tab and reduce unneeded subscriber email notifications.

@Epivitae
Copy link
Collaborator Author

@Epivitae Just a heads up: when making changes, you can push directly to the main branch without filing a pull request. That will reduce the noise in this repository's "Pull requests" tab and reduce unneeded subscriber email notifications.

OK! Thanks!

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