Sjors
commented at 3:39 pm on July 19, 2024:
member
When a contributor maintains a fork of the repo, any pull request they make to their own fork, or to the main repository, will trigger two CI runs one for the branch push and one for the pull request.
After this PR when SKIP_BRANCH_PUSH is set, pushes made to git branches inside fork repositories will no longer trigger CI runs, unless the git branches are associated with PRs in the fork repository, or the main repository.
The same behaviour was added for Cirrus in e9bfbb5414ab14ca14d8edcfdf77f28c9ed67c33.
Note to maintainers: SKIP_BRANCH_PUSH=true needs to be set for the GUI repo to maintain existing behaviour.
DrahtBot
commented at 3:39 pm on July 19, 2024:
contributor
The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.
If your review is incorrectly listed, please react with 👎 to this comment and the bot will ignore it on the next update.
Conflicts
No conflicts as of last run.
DrahtBot added the label
Tests
on Jul 19, 2024
ryanofsky
commented at 3:32 pm on July 24, 2024:
contributor
Mentioning the history of this change in the PR description is helpful, but it would be clearer if it said what the change is and what effects it has.
From code comments in this PR and #29274 (comment), it seems like the main intended effect of this change is to prevent github tasks from running twice in PRs and causing the following output:
This seems like it could be a real problem, though maybe it is not a big deal for the forks to modify this file if they want CI to run on branches they are modifying anyway.
DrahtBot added the label
CI failed
on Aug 5, 2024
Sjors
commented at 10:59 am on August 8, 2024:
member
In the earlier issue both @luke-jr (Knots) and @ajtowns (Inquisition) seemed to indicate that the change wouldn’t be a problem for them. See #29274 (comment). Let me know if that’s incorrect or if you changed your mind.
not a big deal for the forks to modify this file if they want CI to run on branches they are modifying anyway
So far it seems I’m the only one using this and it’s not bothering any other project. But if we end up with some forks that need to modify this file and others that don’t, then I don’t think this PR should be merged. The extra runs are annoying, but if needed I can wait for a glorious future in which Github CI gets their act together.
DrahtBot removed the label
CI failed
on Aug 9, 2024
ryanofsky approved
ryanofsky
commented at 3:41 pm on August 16, 2024:
contributor
Thanks for the explanation, that all sounds good to me.
The new description is definitely better than the original but it is not actually saying what behavior will be after this PR. Would be helpful to say something like “After this PR, pushes made to git branches inside fork repositories will no longer trigger CI runs, unless the git branches are associated with PRs in the fork repository, or the main repository.” (assuming that is correct)
Sjors
commented at 10:19 am on August 17, 2024:
member
Thanks, added that (correct) sentence to the description.
DrahtBot added the label
CI failed
on Sep 10, 2024
DrahtBot removed the label
CI failed
on Sep 14, 2024
achow101 requested review from vasild
on Oct 15, 2024
achow101 requested review from achow101
on Oct 15, 2024
achow101 requested review from hebasto
on Oct 15, 2024
willcl-ark requested review from m3dwards
on Oct 15, 2024
willcl-ark requested review from willcl-ark
on Oct 15, 2024
Sjors
commented at 8:31 am on October 16, 2024:
member
A use case that was mentioned to me offline is that some people, before opening a PR to the main repo, like to push their branch and have CI check it. They then wait for CI on the branch to pass before opening a new PR. Their main reason for this is to reduce noise on the main repo.
It seems this PR breaks that use case. I suggest we reconsider it if and when Github adds support for custom ENV variables on a fork, like Cirrus does.
Sjors closed this
on Oct 16, 2024
willcl-ark
commented at 8:44 am on October 16, 2024:
member
When a contributor maintains a fork of the repo, any pull request they make
to their own fork, or to the main repository, will trigger two CI runs:
one for the branch push and one for the pull request.
This can be avoided by setting SKIP_BRANCH_PUSH=true as a custom env variable
in Cirrus repository settings, accessible from
Sjors
commented at 10:59 am on October 16, 2024:
member
Oh wow that is remarkably well hidden! In that case I will change this PR to apply the same behaviour as Cirrus.
Sjors reopened this
on Oct 16, 2024
Sjors marked this as a draft
on Oct 16, 2024
vasild
commented at 10:58 am on November 5, 2024:
contributor
Concept ACK
A use case that was mentioned to me offline is that some people, before opening a PR to the main repo, like to push their branch and have CI check it.
FWIW I do that but I have a dedicated dummy branch which is associated with a PR to merge it into my copy of master. So I never merge that PR and keep push -fing into the dummy branch to test.
Sjors force-pushed
on Nov 10, 2024
Sjors force-pushed
on Nov 10, 2024
Sjors force-pushed
on Nov 10, 2024
Sjors force-pushed
on Nov 10, 2024
Sjors force-pushed
on Nov 10, 2024
Sjors force-pushed
on Nov 10, 2024
Sjors force-pushed
on Nov 10, 2024
Sjors force-pushed
on Nov 10, 2024
Sjors force-pushed
on Nov 10, 2024
Sjors
commented at 6:15 pm on November 10, 2024:
member
m3dwards
commented at 2:15 pm on November 12, 2024:
contributor
Any idea what was wrong with the syntax I used?
The || github.event_name == 'pull_request' is code that needs to be executed rather than static data so it needs to be inside the double curlies. I believe the hardcoded string of || github.event_name == 'pull_request' is truthy hence it would run the job. Github Actions is finicky!
vasild approved
vasild
commented at 11:23 am on November 13, 2024:
contributor
ACK8610bcef9d030013f9e36cffe0c58dd2cfe85d66
DrahtBot requested review from ryanofsky
on Nov 13, 2024
m3dwards
commented at 3:20 pm on November 13, 2024:
contributor
ACK8610bcef9d030013f9e36cffe0c58dd2cfe85d66
m3dwards approved
Sjors
commented at 3:41 pm on November 13, 2024:
member
Just repeating my “note to maintainers” from the description: like with Cirrus, SKIP_BRANCH_PUSH=true needs to be set for the GUI repo to maintain existing behaviour.
achow101
commented at 9:30 pm on November 14, 2024:
member
ACK8610bcef9d030013f9e36cffe0c58dd2cfe85d66
achow101 merged this
on Nov 14, 2024
achow101 closed this
on Nov 14, 2024
ryanofsky
commented at 3:08 am on November 15, 2024:
contributor
Just repeating my “note to maintainers” from the description: like with Cirrus, SKIP_BRANCH_PUSH=true needs to be set for the GUI repo to maintain existing behaviour.
This is a metadata mirror of the GitHub repository
bitcoin/bitcoin.
This site is not affiliated with GitHub.
Content is generated from a GitHub metadata backup.
generated: 2024-11-21 18:12 UTC
This site is hosted by @0xB10C More mirrored repositories can be found on mirror.b10c.me