Chop the .git suffix from project name in dev-repo: