-
Notifications
You must be signed in to change notification settings - Fork 1.2k
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
[prebuilds] ignore inverse PRs #9494
Conversation
b318175
to
bd8b7ec
Compare
/werft run 👍 started the job as gitpod-build-se-no-inverse-prs.2 |
/werft run with-clean-slate-deployment=true 👍 started the job as gitpod-build-se-no-inverse-prs.3 |
@jankeromnes Could you take a look here as well? 🙏 |
/werft run with-vm=true 👍 started the job as gitpod-build-se-no-inverse-prs.4 |
/werft run with-vm=true 👍 started the job as gitpod-build-se-no-inverse-prs.5 |
/werft run with-clean-slate-deployment=true 👍 started the job as gitpod-build-se-no-inverse-prs.6 |
bd8b7ec
to
66870b1
Compare
/werft run with-clean-slate-deployment=true 👍 started the job as gitpod-build-se-no-inverse-prs.8 |
/werft run with-clean-slate-deployment=true 👍 started the job as gitpod-build-se-no-inverse-prs.9 |
/werft run with-clean-slate-deployment=true 👍 started the job as gitpod-build-se-no-inverse-prs.10 |
@svenefftinge run |
66870b1
to
b8b06ab
Compare
/werft with-vm=true 👎 unknown command: with-vm=true |
/werft run with-vm=true 👍 started the job as gitpod-build-se-no-inverse-prs.12 |
/werft run with-vm=true 👍 started the job as gitpod-build-se-no-inverse-prs.13 |
@svenefftinge FYI, rebase via
|
@svenefftinge can we remove the hold and get this merged? |
Description
This change ignores inverse PRs, such as they are created by pull bots.
Related Issue(s)
Fixes https://github.com/gitpod-io/security/issues/26
How to test
In prod a prebuild would be created and overwrite the original prebuild from the main repo. With this change no such prebuild should be created anymore.
Release Notes