gnu: Remove ".git" from "https://github/…/….git".