diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2014-07-30 18:30:48 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2014-07-30 18:30:48 +0100 |
| commit | d16fb35f5d57b0337c2372de3a63430c17fb1226 (patch) | |
| tree | 1200b6ad36c932f7fe74d523776ddb5d21f50ae5 /dgit.1 | |
| parent | 4383b44c16571b49dd741987a1dc49d145242039 (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
Diffstat (limited to 'dgit.1')
0 files changed, 0 insertions, 0 deletions