mirror of
https://github.com/martinvonz/jj.git
synced 2025-01-08 05:39:20 +00:00
35b8dad890
This is really a simple change that does the following in a transaction: * Set the new branch name to point to the same commit as the old branch name. * Set the old branch name to point to no commit (hence deleting the old name). Before it starts, it confirms that the new branch name is not already in use. |
||
---|---|---|
.. | ||
examples | ||
src | ||
testing | ||
tests | ||
build.rs | ||
Cargo.toml | ||
LICENSE |