Confirmed users
595
edits
Places/Places Branch: Difference between revisions
Jump to navigation
Jump to search
→Usage
(→Usage) |
(→Usage) |
||
| Line 17: | Line 17: | ||
hg push </pre> | hg push </pre> | ||
Note that if there are no different changesets with central (nothing to merge), hg merge tip will fail, you can use ''hg update default'' instead. If mozilla central has new heads due to releases you should hg push -f instead, but check heads correctness with hg heads first. | Note that if there are no different changesets with central (nothing to merge), hg merge tip will fail, you can use ''hg update default'' instead. If mozilla central has new heads due to releases you should ''hg push -f'' instead, but check heads correctness with ''hg heads'' first. | ||
3. check in your change (or series of changes, etc). | 3. check in your change (or series of changes, etc). | ||