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