2 Commits

Author	SHA1	Message	Date
cloudhead	3898fece08	cli: `git pull` to update patches in working copy ... We enable users to pull updates to a patch by calling `git pull` on the patch branch.	2023-08-04 12:28:22 +02:00
Alexis Sellier	fd1237b2db	cli: Use `git push` to open or update patches ... This adds the ability to the git-remote-helper to open and update patches via a `git push` to the magic ref `refs/patches` and `refs/heads/patches/<patch-id>`. The main change is that we had to move away from offering the `connect` capability in the remote helper, to offering `push` and `fetch` individually. To get a feel for how this works, see the `rad-patch-via-push.md` example.	2023-05-12 12:22:08 +02:00