summaryrefslogtreecommitdiff
path: root/infra
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-20 13:35:47 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-20 13:35:47 +0100
commitac2a575234ee8d5fff62cfd5d181ecfab95be497 (patch)
tree1acd8c61489b45c81c9c8c0999528d183881ed25 /infra
parent68a8f001e52757fa9b5ae3289eaf1e6a8dc65512 (diff)
In discussion on how to start using dgit when already using git, do not imply/assume that existing git history will have identical trees to dgit history.
Diffstat (limited to 'infra')
0 files changed, 0 insertions, 0 deletions