Confirmed users
595
edits
Places/Places Branch: Difference between revisions
→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 of merge then. 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 of merge then. If mozilla central has new heads due to tagged 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). | ||