Skip to content

feat: use postcard for redis serde - #6956

Merged
mergify[bot] merged 12 commits into
mainfrom
boris/redis-postcard
Aug 5, 2026
Merged

feat: use postcard for redis serde#6956
mergify[bot] merged 12 commits into
mainfrom
boris/redis-postcard

Conversation

@aecsocket

Copy link
Copy Markdown
Contributor

No description provided.

@modrinth-bot

Copy link
Copy Markdown
Member

Pull request changelog

App

Added

Changed

Deprecated

Removed

Fixed

Security

Website

Added

Changed

Deprecated

Removed

Fixed

Security

Hosting

Added

Changed

Deprecated

Removed

Fixed

Security

@aecsocket
aecsocket marked this pull request as ready for review August 3, 2026 18:34
@modrinth-bot

modrinth-bot commented Aug 4, 2026

Copy link
Copy Markdown
Member

@IMB11 IMB11 mentioned this pull request Aug 4, 2026
@IMB11
IMB11 force-pushed the boris/redis-postcard branch from c558a46 to c86d735 Compare August 4, 2026 16:20
@aecsocket

Copy link
Copy Markdown
Contributor Author

@Mergifyio queue

@mergify

mergify Bot commented Aug 5, 2026

Copy link
Copy Markdown

Merge Queue Status

🛑 Queue command has been cancelled

@mergify

mergify Bot commented Aug 5, 2026

Copy link
Copy Markdown

queue

🛑 GitHub stacked pull requests cannot be merged

Details

Mergify can only merge the bottom pull request of a GitHub stack, and only when Mergify's stack support is enabled for the organization (progressive rollout — contact Mergify support to request it).
Remove this pull request from the stack so the merge queue can merge it, or merge the stack from GitHub's web interface.

@clrxbl

clrxbl commented Aug 5, 2026

Copy link
Copy Markdown
Member

@Mergifyio queue

@mergify

mergify Bot commented Aug 5, 2026

Copy link
Copy Markdown

Merge Queue Status

This pull request spent 7 minutes 3 seconds in the queue, including 6 minutes 8 seconds running CI.

Required conditions to merge

@mergify mergify Bot added the queued label Aug 5, 2026
@mergify
mergify Bot merged commit 5148e8e into main Aug 5, 2026
18 checks passed
@mergify
mergify Bot deleted the boris/redis-postcard branch August 5, 2026 10:36
@mergify mergify Bot removed the queued label Aug 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants