cloudhead 823a7e7c52 remote-helper: Allow commit roll-backs on push ...

This makes the divergence check on push slightly more lenient, by
allowing rolling back to a previous commit in the canonical branch
history.

Without this, it can become impossible to roll-back commits in certain
situations.

2023-11-07 15:16:26 +01:00

..

git-pull.md

remote-helper: Run sync on git-fetch

2023-09-27 12:29:46 +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

remote-helper: Allow commit roll-backs on push

2023-11-07 15:16:26 +01:00

git-push.md

Don't allow the default branch to be deleted

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