cloudhead 59c101fc59 cli: Suggest correct command for pushing ... In cases where there is an existing remote, the user has to specify the branch name when pushing, so we update the help string to suggest that.		2024-01-05 11:03:24 +01:00
..
data	cli: Implement DDiff	2023-09-19 15:22:42 +02:00
commands.rs	cli: Suggest correct command for pushing	2024-01-05 11:03:24 +01:00