Skip to content

Conversation

@andersk
Copy link
Member

@andersk andersk commented Dec 9, 2025

No description provided.

@chrisbobbe chrisbobbe added the integration review Added by maintainers when PR may be ready for integration label Dec 9, 2025
@gnprice
Copy link
Member

gnprice commented Dec 9, 2025

Good idea, thanks.

Do you want to adjust your Git author email on this commit before merge?

@andersk
Copy link
Member Author

andersk commented Dec 11, 2025

Right, adjusted, thanks.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
@gnprice gnprice force-pushed the workflows-permissions branch from d645ec2 to 07bf25b Compare December 11, 2025 22:43
@gnprice gnprice merged commit 07bf25b into zulip:main Dec 11, 2025
1 check passed
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