If you've pulled changes from hg-git today…
10 views
Skip to first unread message
Dan Villiom Podlaski Christiansen
Dec 22, 2020, 2:49:15 PM12/22/20
to hg-...@googlegroups.com
If you've pulled hg-git today, you might need to unpublish some commits. I accidentally pushed a changeset without a topic, and that caused some havoc. Thankfully, Georges Racinet was able to unpublish these changes afterwards.
In case you pulled something in the meantime, run:
> hg phase -fdr 'public() and not ancestors(69a185aa41de)'
> hg pull
To prevent this from happening again, I've ticked the box in Heptapod that prevents pushing to default without an MR. That may also prevents pushing tags and other stuff, but it's quite trivial to change the setting when needed.
--
Dan Villiom Podlaski Christiansen
dan...@gmail.com — +45 2728 9771
In case you pulled something in the meantime, run:
> hg phase -fdr 'public() and not ancestors(69a185aa41de)'
> hg pull
To prevent this from happening again, I've ticked the box in Heptapod that prevents pushing to default without an MR. That may also prevents pushing tags and other stuff, but it's quite trivial to change the setting when needed.
--
Dan Villiom Podlaski Christiansen
dan...@gmail.com — +45 2728 9771
Reply all
Reply to author
Forward
0 new messages