tree d26d721e444790316cf1ba85e2b31e0e1647ba5b
parent 4fa4ff086385af7af7f73d58b6d02393c4ca9605
author Niko Dziemba <niko@dziemba.com> 1554199884 +0200
committer Niko Dziemba <niko@dziemba.com> 1554199884 +0200

Fix deleteRepos in mirror-github

When support for github enterprise was added (5208c28),
deleting stale repos for github.com broke.

`baseURL` is set to something like `https://github.com/foouser/barrepo`.

Doing `url.Parse(baseURL + user)` would then result in
`https://github.com/foouser/barrepofoouser`, which clearly does not
work.

To fix this, we now parse the baseURL and then modify the path to be the
user, resulting in the correct URL: `https://github.com/foouser`.

Change-Id: I1df0bfa214689e2ecc009878961ce27f6f178509