From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 12 Jan 2014 14:32:46 +0000 (+0000)
Subject: dgit-repos-server: rename from dgit-repos-push-receiver
X-Git-Tag: debian/0.22~110
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=4c3ff1c38c7db68f382041fb1068d092eaabd875;p=dgit.git

dgit-repos-server: rename from dgit-repos-push-receiver
---

diff --git a/dgit-repos-push-receiver b/dgit-repos-server
similarity index 100%
rename from dgit-repos-push-receiver
rename to dgit-repos-server