Skip to content

Conversation

@mkruskal-google
Copy link
Member

Important: this integration must be merged, not squashed

@mkruskal-google mkruskal-google force-pushed the sync-stage branch 3 times, most recently from 5d7ba01 to 2c46ce4 Compare October 22, 2022 00:48
@mkruskal-google mkruskal-google force-pushed the sync-stage branch 2 times, most recently from 59521e6 to 792f6b4 Compare October 24, 2022 21:45
@mkruskal-google mkruskal-google merged commit 4518276 into protocolbuffers:main Oct 24, 2022
@mkruskal-google mkruskal-google deleted the sync-stage branch October 24, 2022 22:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants