Alexis Sellier 7e32f91ea2 Don't allow the default branch to be deleted ...

As a delegate, you shouldn't be able to delete your default branch.
This would most likely happen by mistake, and it prevents the canonical
head from being calculated correctly.

2023-09-27 12:25:15 +02:00

..

git-pull.md

node: Make node aliases required

2023-07-11 18:08:59 +02: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

Prevent divergences in canonical head

2023-09-27 12:25:14 +02:00

git-push.md

Don't allow the default branch to be deleted

2023-09-27 12:25:15 +02:00