468698 - MXR mozilla-central hasn't updated since Dec 2

Status: VERIFIED FIXED

(mozilla.org Graveyard :: Server Operations, task)

Description

[Benjamin Smedberg]

mxr.mozilla.org/mozilla-central hasn't updated since Dec. 2. It should have content at http://mxr.mozilla.org/mozilla-central/source/config/static-checking-config.mk

If I were making bets, I'd say that the update script was using -rtip or pull -u at some point, and got stuck behind multiple heads or off the default branch. MXR should update using two commands:

hg pull
hg update default

Comment 1

[timeless]

yes, mxr was using pull -u, it's now using pull -u -r default, however that hasn't been synced to mxr.mozilla.org because the 191 stuff didn't work.

Comment 3

[Reed Loden [:reed]]

Fixed.

Comment 4

[Serge Gautherie (:sgautherie)]

V.Fixed

for example
http://mxr.mozilla.org/mozilla-central/source/editor/idl/nsIEditor.idl