Merge pull request #7535 from BKPepe/git
authorHannu Nyman <hannu.nyman@iki.fi>
Sun, 2 Dec 2018 10:36:10 +0000 (12:36 +0200)
committerGitHub <noreply@github.com>
Sun, 2 Dec 2018 10:36:10 +0000 (12:36 +0200)
git: remove the duplicate line and update URL to HTTPS


Trivial merge