Skip to content

Conversation

@rajveermalviya
Copy link
Member

No description provided.

@rajveermalviya rajveermalviya added the maintainer review PR ready for review by Zulip maintainers label Jun 17, 2025
@chrisbobbe
Copy link
Collaborator

LGTM, thanks!

@chrisbobbe chrisbobbe added integration review Added by maintainers when PR may be ready for integration and removed maintainer review PR ready for review by Zulip maintainers labels Jun 17, 2025
@chrisbobbe chrisbobbe requested a review from gnprice June 17, 2025 17:58
@chrisbobbe chrisbobbe assigned gnprice and unassigned chrisbobbe Jun 17, 2025
@gnprice
Copy link
Member

gnprice commented Jun 18, 2025

Thanks! Looks good; merging.

@gnprice gnprice merged commit 57c2471 into zulip:main Jun 18, 2025
1 check passed
@rajveermalviya rajveermalviya deleted the pr-ios-pigeon branch June 19, 2025 09:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

integration review Added by maintainers when PR may be ready for integration

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants