chiark / gitweb /
config: New instead_distro feature
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 2 Nov 2014 16:52:29 +0000 (16:52 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Nov 2014 22:22:20 +0000 (22:22 +0000)
commit2479a589cce5c9c12044c89b3d530912efedb78e
tree4c823b1c383549a7a6e1ee8000dc40ea881c8277
parent25668656cea95fdbf219cb51c0b657d188b7077e
config: New instead_distro feature

The ssh-cmd git-check can now send us looking elsewhere.  This will
make migration possible.
dgit