Skip to content

Conversation

@fmeum
Copy link
Collaborator

@fmeum fmeum commented Oct 14, 2025

This avoids rerunning an action when the main repo mapping changes in unrelated ways, for example because a new repo is added.

Clean up one unnecessary null check on mainRepositoryMapping.

Fixes #27061

Closes #27081.

PiperOrigin-RevId: 818857131
Change-Id: I5036444dd6b39b12063f927ad807e2a93aeaf69f
(cherry picked from commit fe3f455)

This avoids rerunning an action when the main repo mapping changes in unrelated ways, for example because a new repo is added.

Clean up one unnecessary `null` check on `mainRepositoryMapping`.

Fixes bazelbuild#27061

Closes bazelbuild#27081.

PiperOrigin-RevId: 818857131
Change-Id: I5036444dd6b39b12063f927ad807e2a93aeaf69f
(cherry picked from commit fe3f455)
@fmeum fmeum requested a review from a team as a code owner October 14, 2025 03:55
@fmeum fmeum requested review from justinhorvitz and removed request for a team October 14, 2025 03:55
@github-actions github-actions bot added team-Configurability platforms, toolchains, cquery, select(), config transitions awaiting-review PR is awaiting review from an assigned reviewer labels Oct 14, 2025
@fmeum fmeum requested a review from a team October 14, 2025 03:55
@iancha1992 iancha1992 enabled auto-merge October 14, 2025 17:23
@iancha1992 iancha1992 added this pull request to the merge queue Oct 15, 2025
@justinhorvitz justinhorvitz added awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally and removed awaiting-review PR is awaiting review from an assigned reviewer labels Oct 15, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 15, 2025
@iancha1992 iancha1992 added this pull request to the merge queue Oct 15, 2025
@iancha1992 iancha1992 removed the awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally label Oct 15, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Oct 15, 2025
@iancha1992 iancha1992 added this pull request to the merge queue Oct 21, 2025
Merged via the queue into bazelbuild:release-8.5.0 with commit 5a00100 Oct 21, 2025
47 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

team-Configurability platforms, toolchains, cquery, select(), config transitions

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants