Alexis Sellier 94cd7658b1 cli: Merge patches on git push ...

Allows patches to have their state updated to `Merged` with a `git push`
to the default branch.

Currently, due to the limitations of the COB store, this requires a
linear search through all patches. This will eventually become a problem
when projects have thousands of patches, so we should look into
long-term solutions.

2023-05-16 21:11:57 +02:00

..

commands.rs

cli: Merge patches on git push

2023-05-16 21:11:57 +02:00