Merge pull request #7535 from BKPepe/git
authorHannu Nyman <[email protected]>
Sun, 2 Dec 2018 10:36:10 +0000 (12:36 +0200)
committerGitHub <[email protected]>
Sun, 2 Dec 2018 10:36:10 +0000 (12:36 +0200)
git: remove the duplicate line and update URL to HTTPS


Trivial merge