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
..
collaboration	cob: Include head in initial patch entry in DAG	2023-05-02 09:18:17 +02:00
collaboration.rs	cob: Fix some clippy warnings	2023-05-12 12:47:41 +02:00
storage.rs	cli: Merge patches on `git push`	2023-05-16 21:11:57 +02:00