Places/Places Branch
< Places
Details
Merge from mozilla-central
hg pull ssh://hg.mozilla.org/mozilla-central/ hg merge default hg commit -m "Merge mozilla-central and Places branch" hg push
Note that if there are no different changesets with central (nothing to merge), hg merge tip will fail, use hg update default then. If mozilla central has new heads due to tagged releases, you may have to hg push -f instead, but check heads correctness with hg heads first.
Merge to central
Procedure is similar to the above one, but it also involves a final:
hg push ssh://hg.mozilla.org/mozilla-central/