/etc/

ll 2020-07-12gnu: Remove ".git" from "https://github/…/….git"....Ludovic Courtès