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
..
fetch.rs	cli: Use `git push` to open or update patches	2023-05-12 12:22:08 +02:00
git-remote-rad.rs	Rust 1.67	2023-02-04 19:30:29 +01:00
lib.rs	cli: Use library for updating patch	2023-05-15 12:22:09 +02:00
list.rs	cli: Use `git push` to open or update patches	2023-05-12 12:22:08 +02:00
push.rs	cli: Merge patches on `git push`	2023-05-16 21:11:57 +02:00