3 ms·
Are you saying push + undo = unpush?
by sshine 2mo ago
Are you saying push + undo = unpush?
- yegle 2mo agoAFAIKT it will revert the local state to "pending push".
- kps 2mo 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 2mo agoReminds me of the git-svn bridge. Points of no return.
- Zambyte 2mo 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.