Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Backport: Remove colon from job name #2309

Merged
merged 2 commits into from
Dec 15, 2024

Conversation

t-b
Copy link
Collaborator

@t-b t-b commented Dec 15, 2024

See #2308

Having a colon in the name makes it impossible to add the job to the
branch rules.

After consulting with github support, it seems renaming is the most
straightforward solution.
@t-b t-b self-assigned this Dec 15, 2024
@t-b t-b changed the title tools: Don't include extras in the requirements.txt Remove colon from job name Dec 15, 2024
@t-b t-b force-pushed the bugfix/2309-branch-protection-bug-backport branch 3 times, most recently from abadc70 to 3a8595d Compare December 15, 2024 12:46
…release branch

In c3e7dc3 (.github/workflows: Add job to compile test each commit,
2023-12-22) we introduced a compilation test of each commit in the branch.
But we assumed that the base branch, the branch we want to merge into, is
origin/main. This is not true for the release branches.

As there is no way to gather the base branch for on.push workflows [1] we
added some code to get the release branch with the highest version and
then check if we are an ancestor of that or origin/main.

[1]: https://github.com/orgs/community/discussions/26243#discussioncomment-3250924
@t-b t-b force-pushed the bugfix/2309-branch-protection-bug-backport branch from 3a8595d to dc29f2d Compare December 15, 2024 12:55
@t-b t-b changed the title Remove colon from job name Backport: Remove colon from job name Dec 15, 2024
@t-b t-b merged commit c2f4182 into release/2.8 Dec 15, 2024
18 checks passed
@t-b t-b deleted the bugfix/2309-branch-protection-bug-backport branch December 15, 2024 15:14
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.

1 participant