1046802 - fx-team pushlog needs a push adding manually after it was Ctrl+C'd (482533cb9495)

Status: VERIFIED FIXED

(Developer Services :: General, task)

Description

[Ed Morley [:emorley]]

Due to bug 966545, the fx-team pushlog DB is now in an inconsistent state compared to the commit log.

16:07 <paolo> edmorley|sheriffduty: I hit CTRL+C during my last push to fx-team and it doesn't appear in the hg pushlog,
16:07 <paolo> despite it shows up in the list of revisions at https://hg.mozilla.org/integration/fx-team/summary
16:07 <paolo> any idea on how to fix this?
16:07 <paolo> or just wait for the next push?
16:09 <edmorley|sheriffduty> paolo: it requires a manual DB edit; I've closed fx-team and there hasn't been another push since so we should be fine

Where the push should appear:
https://hg.mozilla.org/integration/fx-team/pushloghtml?changeset=482533cb9495

The commit itself:
https://hg.mozilla.org/integration/fx-team/rev/482533cb9495

No pushes have been made since, so we should just be able to add another row to the pushlog DB, with a date of NOW(), and author set to "[e-mail]". (I think that's all that's required other than the long SHA of the commit).

Comment 1

[Ed Morley [:emorley]]

fx-team is currently closed to avoid someone pushing before we can fix this.

Comment 2

[Kendall Libby [:fubar] (he/him)]

Added pushlog entries manually and resynced web heads.

Comment 3

[Ryan VanderMeulen [:RyanVM]]

And TBPL has picked it up for builds. Thanks :)

Comment 4

[Ed Morley [:emorley]]

Thank you :-)