Skip to content

chore: ignore redis dump.rdb produced by local test runs#13538

Open
nic-6443 wants to merge 1 commit into
apache:masterfrom
nic-6443:chore/gitignore-redis-dump
Open

chore: ignore redis dump.rdb produced by local test runs#13538
nic-6443 wants to merge 1 commit into
apache:masterfrom
nic-6443:chore/gitignore-redis-dump

Conversation

@nic-6443

Copy link
Copy Markdown
Member

Description

Running a local redis-server from the repo root for the limit-count/limit-req/limit-conn tests leaves a dump.rdb snapshot behind when the server shuts down (RDB save on exit defaults to the process working directory). It is easy to sweep into a commit accidentally — it slipped into #13516 twice before being caught by eclint. Ignore it.

Checklist

  • I have explained the need for this PR and the problem it solves
  • I have explained the changes or the new features added to this PR
  • I have added tests corresponding to this change
  • I have updated the documentation to reflect this change
  • I have verified that this change is backward compatible

Copilot AI review requested due to automatic review settings June 12, 2026 02:38
@dosubot dosubot Bot added the size:XS This PR changes 0-9 lines, ignoring generated files. label Jun 12, 2026

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Copilot wasn't able to review any files in this pull request.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@nic-6443 nic-6443 requested a review from membphis June 12, 2026 02:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size:XS This PR changes 0-9 lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants