Alexis Sellier 2ea9a911af remote-helper: Handle patch update after merge ... If you accidently merge updated patch code before updating the patch in storage, you end up in this weird state where you can't update the patch any longer. This fixes it.		2023-08-03 18:01:04 +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	Add `--version` flag to binaries	2023-07-25 11:36:50 +02:00
lib.rs	cli: Allow setting a different patch base on push	2023-06-15 10:25:32 +02:00
list.rs	cli: Use `git push` to open or update patches	2023-05-12 12:22:08 +02:00
push.rs	remote-helper: Handle patch update after merge	2023-08-03 18:01:04 +02:00