Skip to content

Conversation

@HzaCode
Copy link
Contributor

@HzaCode HzaCode commented Oct 7, 2025

…rings

  • I have not changed the README.md directly.

@mre
Copy link
Member

mre commented Oct 7, 2025

Hey @HzaCode,

sounds like a nice project. As per the contribution guidelines, let's wait a bit until it reaches 20 stars and is around for at least 3 months.

@mre
Copy link
Member

mre commented Oct 7, 2025

We can keep this PR open in the meantime.

@github-actions github-actions bot added the stale label Dec 7, 2025
@github-actions github-actions bot closed this Dec 14, 2025
@HzaCode
Copy link
Contributor Author

HzaCode commented Dec 14, 2025

Hi @mre, it looks like the stale bot closed this automatically.

The project now has 32 stars (surpassing the 20-star requirement) and is approaching the 3-month maturity mark. Could you please re-open this PR?

I will ping you again shortly once the timeline requirement is fully met. Thanks!

@mre mre reopened this Dec 16, 2025
@mre
Copy link
Member

mre commented Dec 16, 2025

Thanks for the notification. Of course. In fact, I believe we can merge it right away as it sits at 32 stars now and as you said is very close to the 3-month mark and there are no signs that it will vanish anytime soon. Congrats!

@mre mre merged commit 09f31aa into analysis-tools-dev:master Dec 16, 2025
4 checks passed
@HzaCode
Copy link
Contributor Author

HzaCode commented Dec 16, 2025

Thank you so much, @mre! I really appreciate your flexibility in merging this. Being included in such a well-regarded collection is a significant milestone for LangLint. Thanks for the encouragement and support!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants