chiark / gitweb /
Tag change: Calculate desired tag format
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 24 Jul 2016 17:56:14 +0000 (18:56 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 31 Jul 2016 21:55:01 +0000 (22:55 +0100)
Introduce machinery for deciding what format tag to make, during push.
The computation is slightly ad-hoc.

Currently it always returns `old' and does as before, so no overall
functional change with existing configs and existing command lines.

Reserve protocol version 4 for new tag support.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

No differences found