7 ms·
Are you saying push + undo = unpush?
by sshine 16d ago
Are you saying push + undo = unpush?
- Zambyte 16d agoYou can undo a push, yes. It undoes the local state of the remote branches after the push operation. ie: branch@origin will point at the commit it did before the push action. It doesn't actually update the branch on the remote. That would require another push operation.
- yegle 16d agoAFAIKT it will revert the local state to "pending push".
- kps 16d agojj itself doesn't have a native ‘push’. `jj git push` and `jj piper upload`¹ operate on external systems that don't necessarily support undoing arbitrary operations. Pure speculation, but if I were ESRC I'd make my backend handle it (subject to enterprise audit policies). ¹ https://drive.google.com/file/d/1dVzug1lHoOxdbFu8gcCJCu-G_uVMUATI https://drive.google.com/file/d/1dVzug1lHoOxdbFu8gcCJCu-G_uV...
- sshine 16d agoReminds me of the git-svn bridge. Points of no return.