pijul_org / pijul

#364 Unrecord patch on remote?

Opened by hobofan, on March 1, 2019
Open
Feature
hobofan commented on March 1, 2019

Not sure if I'm missing something obvious, but it seems that there is no way to unrecord a patch on a remote after it has been pushed. It also seems that there is no way to "force push" a branch (= force the remote branch to become equivalent to the local branch). Another way I guess it could be solved would be to apply an inverse patch to the remote, but I also can't find an easy way to generate that from the existing patch.

In my case, I updated some Cargo dependencies, recorded that as a patch and pushed it. Later I noticed that the changes broke some stuff in unexpected ways. So I unrecorded the patch locally, did some other changes, and pushed those, but on the remote, the patches are still stuck with the updated dependencies.

hobofan commented on March 1, 2019

Oh, just saw that there is a "unrecord" button when logged in and with admin rights on the repo facepalm.

Would still be great if there would be a way to do it on the command line.

pmeunier added tag
Feature
on March 1, 2019
iantownsend commented on March 19, 2019

Another way I guess it could be solved would be to apply an inverse patch to the remote

pijul rollback does exactly that. This is, of course, not the same as unrecording. I would also like to be able to unrecord from remotes.

FlorentBecker commented on May 14, 2019

@iantownsend: can you detail the use case where you'd like to unrecord from a remote? I'm not sure we want to allow unrecording in a branch where other people are (or might be) pulling from.