Skip to content

Fix commit collision between #17480 and #18431.#18459

Merged
stuhood merged 1 commit intopantsbuild:mainfrom
stuhood:stuhood/unrelated-lint-failure
Mar 9, 2023
Merged

Fix commit collision between #17480 and #18431.#18459
stuhood merged 1 commit intopantsbuild:mainfrom
stuhood:stuhood/unrelated-lint-failure

Conversation

@stuhood
Copy link
Member

@stuhood stuhood commented Mar 9, 2023

#17480 and #18431 collided, such that a changed file was not re-formatted by the new version of black.

@stuhood stuhood added the category:internal CI, fixes for not-yet-released features, etc. label Mar 9, 2023
@stuhood stuhood enabled auto-merge (squash) March 9, 2023 21:28
@stuhood stuhood disabled auto-merge March 9, 2023 21:28
@stuhood stuhood enabled auto-merge (squash) March 9, 2023 21:28
@stuhood stuhood merged commit 9fb1e6c into pantsbuild:main Mar 9, 2023
@stuhood stuhood deleted the stuhood/unrelated-lint-failure branch March 9, 2023 22:05
@lilatomic
Copy link
Contributor

spooky, I was pretty sure I rebased, too...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

category:internal CI, fixes for not-yet-released features, etc.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants