Martin von Zweigbergk 14d35b0198 cli: make jj git push -r just warn if no branches targeted ... If there are branches in the revset that don't need to be pushed because they already match the destination, we currently just print `Nothing changed.` It seems consistent with that to also treat it as success if there are no branches in the specified set to start with. This patch makes the command print a warning in that case instead.		2023-08-23 15:00:03 -07:00
..
examples	cargo: move examples/ into cli/ so they are part of the build again	2023-08-07 21:49:45 +00:00
src	cli: make jj git push -r just warn if no branches targeted	2023-08-23 15:00:03 -07:00
testing	fake_diff_editor: Allow specifying extra arguments to be ignored	2023-08-21 20:19:15 -07:00
tests	cli: make jj git push -r just warn if no branches targeted	2023-08-23 15:00:03 -07:00
build.rs	build: update rerun-if conditions to watch .git/HEAD in colocated repo	2023-08-06 12:16:11 +09:00
Cargo.toml	Use { workspace = true } to appease VS Code's Cargo.toml parser	2023-08-22 21:38:53 -07:00