chiark / gitweb /
dgit-repos-server: rename from dgit-repos-push-receiver
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 12 Jan 2014 14:32:46 +0000 (14:32 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 5 Mar 2014 18:29:01 +0000 (18:29 +0000)
commit4c3ff1c38c7db68f382041fb1068d092eaabd875
tree6160774ba676692daa64d78273bf920ba80aee18
parent9e690747cbdcdea1bf95383956e8b468cf942447
dgit-repos-server: rename from dgit-repos-push-receiver
dgit-repos-server [moved from dgit-repos-push-receiver with 100% similarity]