Skip to content

Conversation

ammario
Copy link
Member

@ammario ammario commented Jan 16, 2023

See inline comments for rationale.

@ammario ammario marked this pull request as ready for review January 16, 2023 20:08
@ammario ammario requested a review from a team as a code owner January 16, 2023 20:08
@ammario ammario requested review from BrunoQuaresma and kylecarbs and removed request for a team January 16, 2023 20:08
@ammario ammario enabled auto-merge (squash) January 16, 2023 20:13
@ammario ammario merged commit 4420985 into main Jan 16, 2023
@ammario ammario deleted the bump-longer branch January 16, 2023 20:13
@github-actions github-actions bot locked and limited conversation to collaborators Jan 16, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants