chiark / gitweb /
dgit clone: No longer create an "origin" remote
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 21 Jul 2019 22:58:01 +0000 (23:58 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 21 Jul 2019 23:46:13 +0000 (00:46 +0100)
commit69323e5f402c84897eaeea7a28cdae1b3da10066
treecd85b29c10a4373ba051933bb216b3a060514d16
parent00a50f27198a9ac04d69427dad9ba65380bc764f
dgit clone: No longer create an "origin" remote

This was a normal git remote pointing to the dgit git server.

This is not really sensible because
1. it can't simply be pushed to
2. sometimes (if the package was never pushed with dgit)
    it doesn't even exist
3. it may be out of date with respect to the archive

The effect of 2 is that it can break `git remote update'.

This "git remote add" was introduced in 2013 in
  39c6c123ab730d42ec7c9ed01c30e0175c7691e7
  fix branch usage
and was first included in 0.2.  There doesn't seem to be any evidence
of me having deeply considered the merits of this at the time.

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