Alexis Sellier ac06e319cd remote-helper: Delete patch branches after merge ...

This cleans up the branches that were created during patch open, when a
patch is merged.

2023-05-25 10:07:02 +02:00

..

examples

remote-helper: Delete patch branches after merge

2023-05-25 10:07:02 +02:00

src

cli: Improve error output of commands

2023-05-24 11:33:55 +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