Yuya Nishihara 4a50a35046 cli: abandon: delete bookmarks pointing to abandoned commits ... Based on the discussion in #3505, I think the sliding behavior isn't favored at least for "jj abandon". This patch changes the default to delete bookmarks. "jj rebase --skip-emptied" can also be updated if needed. It might be good for consistency. However, I'm skeptical about changing the default of the internal API. It's not easy to add generic reporting mechanism for deleted/abandoned bookmarks. If we added one in report_repo_changes(), redundant message would be printed on "jj git fetch". So I think callers should enable the deletion explicitly. Closes #3505		2025-01-21 02:37:07 +00:00
..
examples	examples: use settings_for_new_workspace() when initializing workspace	2025-01-06 21:15:28 +09:00
src	cli: abandon: delete bookmarks pointing to abandoned commits	2025-01-21 02:37:07 +00:00
testing	merge_tools: add "$marker_length" variable	2024-12-23 08:42:10 -06:00
tests	cli: abandon: delete bookmarks pointing to abandoned commits	2025-01-21 02:37:07 +00:00
build.rs	build: fix cargo publish by symlinking cli/docs->docs	2024-11-05 17:37:14 -08:00
Cargo.toml	cargo: remove minus dependency	2025-01-14 01:13:13 +00:00
docs	build: fix cargo publish by symlinking cli/docs->docs	2024-11-05 17:37:14 -08:00
LICENSE