chiark / gitweb /
Split brain: When pushing, find the dgit view in the cache