Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Add ownerNoPings option to prevent GitHub pings #43

Merged
merged 1 commit into from
Mar 26, 2024

Conversation

hyperupcall
Copy link
Contributor

@hyperupcall hyperupcall commented Mar 26, 2024

This closes #42, adding a ownerNoPings option to prevent pinging certain people.

This codepath has been tested at schemastore since this MR.

@hyperupcall hyperupcall requested a review from orta as a code owner March 26, 2024 02:21
@orta
Copy link
Collaborator

orta commented Mar 26, 2024

Cool, this seems good to me - the tests I can live without

@orta orta merged commit a04a710 into OSS-Docs-Tools:master Mar 26, 2024
1 of 2 checks passed
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Feature Request: Opt-out of pings on a per-user basis
2 participants