cloudhead 7169e97bd5 cli: Tell the user when canonical head is updated ... This is useful especially in multi-delegate repos, since patches can be merged without the head being updated.		2024-01-05 12:09:30 +01:00
..
git-fetch.md	cli: Don't sync on git-fetch	2023-12-13 14:47:14 +01:00
git-push-delete.md	cli: Use `git push` to open or update patches	2023-05-12 12:22:08 +02:00
git-push-diverge.md	cli: Tell the user when canonical head is updated	2024-01-05 12:09:30 +01:00
git-push.md	Don't allow the default branch to be deleted	2023-09-27 12:25:15 +02:00