Skip to content

Update SUPPORT.md#8320

Closed
shystrui1199 wants to merge 2 commits intonoir-lang:masterfrom
shystrui1199:link
Closed

Update SUPPORT.md#8320
shystrui1199 wants to merge 2 commits intonoir-lang:masterfrom
shystrui1199:link

Conversation

@shystrui1199
Copy link

fix old link to a new one

@github-actions
Copy link
Contributor

github-actions bot commented May 2, 2025

Thank you for your contribution to the Noir language.

Please do not force push to this branch after the Noir team have started review of this PR. Doing so will only delay us merging your PR as we will need to start the review process from scratch.

Thanks for your understanding.

@shystrui1199
Copy link
Author

hello, when you will merge it ?

@shystrui1199
Copy link
Author

@TomAFrench why do you close it ?

what is the reason ?

@TomAFrench
Copy link
Member

Hey, we've merged this in #8405. Thank you for pointing out this link that was relying on a redirect.

@shystrui1199
Copy link
Author

shystrui1199 commented May 9, 2025

Hey, we've merged this in #8405. Thank you for pointing out this link that was relying on a redirect.

why i do not see me , as a contributor ? @TomAFrench

@TomAFrench
Copy link
Member

We have a policy regarding typo changes as laid out in the CONTRIBUTING.md document to discourage metric farming. https://github.com/noir-lang/noir/blob/master/CONTRIBUTING.md#typos-and-other-small-changes

We appreciate small changes but we want to avoid issues caused by people having external incentives to make PRs into github repositories.

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