Skip to content

ref(redis): Remove redis ping recycle frequency#5476

Merged
Dav1dde merged 2 commits intomasterfrom
dav1d/rm-redis-ping
Dec 12, 2025
Merged

ref(redis): Remove redis ping recycle frequency#5476
Dav1dde merged 2 commits intomasterfrom
dav1d/rm-redis-ping

Conversation

@Dav1dde
Copy link
Copy Markdown
Member

@Dav1dde Dav1dde commented Dec 11, 2025

Neat idea, but in practice not really useful if there is not a validation for each recylce.

@Dav1dde Dav1dde requested a review from a team as a code owner December 11, 2025 23:40
@Dav1dde Dav1dde self-assigned this Dec 11, 2025
@Dav1dde Dav1dde force-pushed the dav1d/rm-redis-ping branch from 342d346 to 19764ad Compare December 11, 2025 23:47
@Dav1dde Dav1dde enabled auto-merge December 12, 2025 08:55
@Dav1dde Dav1dde added this pull request to the merge queue Dec 12, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 12, 2025
@Dav1dde Dav1dde added this pull request to the merge queue Dec 12, 2025
Merged via the queue into master with commit e119c9c Dec 12, 2025
44 of 47 checks passed
@Dav1dde Dav1dde deleted the dav1d/rm-redis-ping branch December 12, 2025 10:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants