I noticed that when cloning a repo from GitHub, a URL missing the .git
extension at the end will still clone correctly.
So for example, this command:
git clone https://github.com/kach/nearley
Will function the same as this address:
git clone https://github.com/kach/nearley.git
Is this functionality provided by the Git command or is it handled by GitHub on the server side? And if it is a feature of GitHub, do they document this anywhere?
Also appreciated would be any statements on how or why they implemented this.