path: root/infra/dgit-repos-admin-debian
diff options
authorIan Jackson <>2016-10-20 15:55:57 +0100
committerIan Jackson <>2016-10-20 16:10:49 +0100
commit50048b4c1c41e1471cdc7054bed02ff30418ea44 (patch)
tree0639404945229682c8152720a478c9be61469987 /infra/dgit-repos-admin-debian
parenta17cad7ce9f5d5a89c77cd9179d4fb33076e493f (diff)
split brain cache: Add a dummy ref update when necessary
git-update-ref does not make a new reflog entry if the ref is not actually being changed. This can mean that `dgit build' might fail to find a good cache entry, but also fail to generate one that push will accept. In this case, generate a dummy reflog update. We make a spurious child of the $dgitview, as that's straightforward. Giving it the same tree and a parent means that human use of reflog commands will produce empty results rather than lots of confusing output. Signed-off-by: Ian Jackson <>
Diffstat (limited to 'infra/dgit-repos-admin-debian')
0 files changed, 0 insertions, 0 deletions