-
Notifications
You must be signed in to change notification settings - Fork 13
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
Migrate to Merge Queues #91
Conversation
I would like to merge this in as there's a subtle difference I can't replicate vis-a-vis our softdev org repos - filtering out CI on pushing to the PR versus clicking "merge when ready" (as I've not seen the expected behaviour for the latter). Updating this repo should give me some insight into what's happening. |
I don't know if this makes a difference but in this repo the file is |
It shouldn't matter what the name is, unless it appears on |
Ah, |
@0152la Do we need to disable auto-merge for this PR? |
Hah. So I think how this works is you can't manually trigger a CI, but this "auto-merge" will just merge when CI passes. Meaning I think I have to push something else to trigger the CI here. I'll check with Edd and see. |
I need to do some further testing with merge queues - I'll make a test repo for that. My assumption for this PR is that we just have to manually rerun the last failing job in buildbot, and it'll merge. However, there's one thing after talking with Edd that doesn't match up, and it's quite important. |
@ltratt Alright, I've done my testing. I think this migration is an all or nothing, and the issues I've seen was cause I was doing it gradually. I now have the back-end |
Why don't you do a force push with an updated time (I sometimes use |
Didn't know that trick - thanks. |
No description provided.