Closed Bug 1400205 Opened 7 years ago Closed 7 years ago

Categories

(Developer Services :: Servo VCS Sync, defect)

defect
Not set
normal

Tracking

(Not tracked)

RESOLVED FIXED

People

(Reporter: emilio, Assigned: gps)

References

Details

https://hg.mozilla.org/integration/autoland/rev/f7b896fc8778 backed out a servo change.

However a backout PR wasn't opened, and the change never landed in the Servo repo.

Now of course all the changes landed in the meantime in servo/ haven't landed at all, and patches which need gecko changes are piling up.
Glob, gps, any chance you can take a look whenever you're awake, thanks a lot!
Flags: needinfo?(gps)
Flags: needinfo?(glob)
https://github.com/servo/servo/pull/18524 is submitted. Will file a bug for why the backout PR service died shortly.

Someone will need to follow the steps at https://mozilla-version-control-tools.readthedocs.io/en/latest/vcssync/servo.html#out-of-sequence-servo-commit to do a manual sync until that PR lands. At which point the automated bots should resume their work.
Flags: needinfo?(gps)
Depends on: 1400318
I used the manualoverlay extension and produced a number of manual PR commits, which I pushed to the autoland repo: https://hg.mozilla.org/integration/autoland/pushloghtml?changeset=1885fa2ee0a8.

The bots woke up seconds later and produced https://hg.mozilla.org/integration/autoland/rev/aa02aa853d37.

I /think/ everything is back in a happy place. Reopen and ping me on IRC if the next Servo PR merge doesn't result in synchronization working.
Assignee: nobody → gps
Status: NEW → RESOLVED
Closed: 7 years ago
Flags: needinfo?(glob)
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.