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

Quick base branch change #27

Closed
wants to merge 5 commits into from
Closed

Conversation

infinisil
Copy link

No description provided.

infinisil and others added 5 commits October 9, 2024 23:15
Before this, it was possible to have this sequence:
- A commit is pushed, workflow is started
- The base branch is changed within a few seconds, another workflow is started
- Both workflows finally get to run, but since they both fetch the base
  branch from the API, they both check the same thing.

This commit fixes that by propagating the event info that triggered the
workflow into the script
Before it was possible to get this sequence:
- A commit is pushed, workflow is being started
- Another commit is pushed within a couple seconds, another workflow is
  being started
- Both workflows now check the state of the base branch, running the
  same check twice since the base branch points at the same commit

This fixes that problem by making it use the Git hash that actually
triggered the event.
@infinisil infinisil changed the base branch from staging to master October 9, 2024 21:33
@infinisil-s-code-owner-test-app

The PR's base branch is set to staging, but 1 commits from the master branch are included. Make sure you know the right base branch for your changes, then:

  • If the changes should go to the master branch, change the base branch to master
  • If the changes should go to the staging branch, rebase your PR onto the merge base with the master branch:
    git rebase --onto 395e3700b75c23a02e1b0ecb604f97fd2d7cda25 4604e2c0128aaa435a39673734f339e72d7750b0
    git push --force-with-lease
    

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