chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4383b44) | patch
Revert "Switch to using dgit@git.debian.org (and dgit-repos-server) by default."
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 30 Jul 2014 17:30:48 +0000 (18:30 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 30 Jul 2014 17:30:48 +0000 (18:30 +0100)
commitd16fb35f5d57b0337c2372de3a63430c17fb1226
tree1200b6ad36c932f7fe74d523776ddb5d21f50ae5tree | snapshot
parent4383b44c16571b49dd741987a1dc49d145242039commit | diff
Revert "Switch to using dgit@git.debian.org (and dgit-repos-server) by default."

The infrastructure end of this is not ready.  But I want to push this
branch to master so I don't end up with irreconcileable branches.  So
revert the change to the default config.

This reverts commit 111b247b6198535db5788a07069971e409f539cd.

Conflicts:
debian/changelog
debian/changelog diff | blob | history
dgit diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.