mirror of
https://seed.radicle.dev/rad:z3gqcJUoA1n9HaHKufZs5FCSGazv5.git
synced 2026-11-04 02:40:32 +08:00
The `git2` crate is not reliable at setting the `FETCH_HEAD` on fetch. Therefore we disable that feature, and let the git command-line do its thing.
673 B
673 B
Ensure that we're able to pull our own branches if they happened to be deleted in our working copy. This also applies to a situation with multiple working copies.
$ git checkout -b alice/1 -q
$ git commit --allow-empty -m "Changes #1" -q
$ git push rad -o patch.message="Changes" HEAD:refs/patches
$ git checkout master -q
$ git branch -D alice/1 -q
$ git update-ref -d refs/remotes/rad/alice/1
$ git update-ref -d refs/remotes/rad/patches/34dff44b9e86f0bdb1a65ee5b6ef90ce6e7af70d
$ git gc --prune=now
$ git branch -r
rad/master
$ git pull
Already up to date.
$ git branch -r
rad/master
rad/patches/34dff44b9e86f0bdb1a65ee5b6ef90ce6e7af70d