cloudhead 3898fece08 cli: git pull to update patches in working copy ...

We enable users to pull updates to a patch by calling `git pull`
on the patch branch.

2023-08-04 12:28:22 +02:00

..

commands.rs

cli: git pull to update patches in working copy

2023-08-04 12:28:22 +02:00