Skip to content

Fix Nginx bot rate limiting - #326

Merged
clemenbor merged 2 commits into
mainfrom
325-fix-nginx-bot-rate-limiting
May 6, 2026
Merged

Fix Nginx bot rate limiting#326
clemenbor merged 2 commits into
mainfrom
325-fix-nginx-bot-rate-limiting

Conversation

@clemenbor

Copy link
Copy Markdown
Collaborator

No description provided.

@clemenbor
clemenbor requested a review from nuno-agostinho May 4, 2026 14:41
@clemenbor clemenbor self-assigned this May 4, 2026
@clemenbor clemenbor linked an issue May 4, 2026 that may be closed by this pull request
@codecov

codecov Bot commented May 4, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@github-actions

github-actions Bot commented May 4, 2026

Copy link
Copy Markdown
Contributor

Super-linter summary

Language Validation result
CHECKOV Pass ✅
EDITORCONFIG Pass ✅
GITLEAKS Pass ✅
GIT_MERGE_CONFLICT_MARKERS Pass ✅
JSCPD Pass ✅
SPELL_CODESPELL Pass ✅

All files and directories linted successfully

For more information, see the GitHub Actions workflow run

Powered by Super-linter

@nuno-agostinho nuno-agostinho added the enhancement Improvements to existing user-facing features label May 4, 2026

@nuno-agostinho nuno-agostinho left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Looks good to me! Let's see what @abecerra thinks.

@nuno-agostinho
nuno-agostinho requested a review from abecerra May 4, 2026 16:38
@clemenbor
clemenbor merged commit af46496 into main May 6, 2026
22 checks passed
@clemenbor
clemenbor deleted the 325-fix-nginx-bot-rate-limiting branch May 6, 2026 09:27
@nuno-agostinho nuno-agostinho changed the title 325 fix nginx bot rate limiting Fix Nginx bot rate limiting May 6, 2026
@nuno-agostinho nuno-agostinho added infrastructure Internal improvements and removed enhancement Improvements to existing user-facing features labels May 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

infrastructure Internal improvements

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Fix nginx bot rate limiting

3 participants