Alexis Sellier e325fa8621 cli: Turn patch update into a plumbing command ...

Remove most of the user-friendly functionality and simplify this command
so that it is only used for scripting.

`git push rad` is now the proper way of updating patches.

2023-06-21 17:02:00 +02:00

..

commands.rs

cli: Turn patch update into a plumbing command

2023-06-21 17:02:00 +02:00