Martin von Zweigbergk a90ef20976 git: on export, delete deleted refs before adding added refs ... To reduce conflicts between branches like `main` and `main/sub`, it's better to first delete refs in git that have been deleted in jj, and then add/update refs that have been added/updated in jj.		2022-11-26 06:05:29 -10:00
..
src	git: on export, delete deleted refs before adding added refs	2022-11-26 06:05:29 -10:00
tests	git: on export, delete deleted refs before adding added refs	2022-11-26 06:05:29 -10:00
testutils	tests: set test hostname and username for operation log	2022-11-24 16:00:20 -10:00
build.rs
Cargo.toml	cargo: bump pest_derive from 2.4.1 to 2.5.0	2022-11-25 06:09:37 -10:00