diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-21 23:58:01 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-22 00:46:13 +0100 |
commit | 69323e5f402c84897eaeea7a28cdae1b3da10066 (patch) | |
tree | cd85b29c10a4373ba051933bb216b3a060514d16 /dgit | |
parent | 00a50f27198a9ac04d69427dad9ba65380bc764f (diff) |
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>
Diffstat (limited to 'dgit')
-rwxr-xr-x | dgit | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -3882,14 +3882,9 @@ sub clone ($) { record_maindir(); setup_new_tree(); clone_set_head(); - my $giturl = access_giturl(1); - if (defined $giturl) { - runcmd @git, qw(remote add), 'origin', $giturl; - } if ($hasgit) { progress __ "fetching existing git history"; git_fetch_us(); - runcmd_ordryrun_local @git, qw(fetch origin); } else { progress __ "starting new git history"; } |