> As it always is possible to edit .git/config manually, it is > necessary to perform deduplication like this patch does on the > consumer side of the list, but do you know if our tool create > duplication, or is it entirely something the end-user does manually? I checked git-remote and there is protection against duplication there, but I'm unsure if there are other places where remotes are being added/renamed. I discovered the bug initially by using git-config.
