Alexis Sellier 8e89976937 cli: Verify merge, remove `rad merge` command ... When applying a `Merge` action, we verify that the commit is in the history of the default branch of that user. Since this is not the case when issuing a `rad merge`, and since that command is no longer needed with the push-based merge, we remove the `rad merge` command completely.		2023-05-23 16:11:42 +02:00
..
examples	cli: Verify merge, remove `rad merge` command	2023-05-23 16:11:42 +02:00
src	cli: Verify merge, remove `rad merge` command	2023-05-23 16:11:42 +02:00
tests	cli: Merge patches on `git push`	2023-05-16 21:11:57 +02:00
Cargo.toml	Update dependencies	2023-05-10 15:56:21 +02:00