force pushing also does a full push

This commit is contained in:
Joey Hess 2024-05-21 10:10:49 -04:00
parent b042dfeb0e
commit f191f52343
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38

View file

@ -44,9 +44,10 @@ how the git repository is stored, see
Pushes to a special remote are usually done incrementally. However, Pushes to a special remote are usually done incrementally. However,
sometimes the whole git repository (but not the annex) needs to be sometimes the whole git repository (but not the annex) needs to be
re-uploaded. That is done when deleting a ref from the remote. It's also re-uploaded. That is done when force pushing a ref, or deleting a
done when too many git bundles accumulate in the special remote, as ref from the remote. It's also done when too many git bundles
configured by the `remote.<name>.annex-max-git-bundles` git config. accumulate in the special remote, as configured by the
`remote.<name>.annex-max-git-bundles` git config.
Like any git repository, a git repository stored on a special remote can Like any git repository, a git repository stored on a special remote can
have conflicting things pushed to it from different places. This mostly have conflicting things pushed to it from different places. This mostly