chiark / gitweb /
dgit: Move cmd_push_source down the file
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 26 Jul 2018 11:41:50 +0000 (12:41 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 26 Jul 2018 12:00:47 +0000 (13:00 +0100)
commitd33854da24295c408c2981db53545d1159429f55
tree55ea01436b41323d0e880cd44d3c9482d8f0308d
parent5ef05b436104524c65da4a0753882fdb7d77b009
dgit: Move cmd_push_source down the file

Pure code motion.

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