search

planetfederal / geoserver-exts

Other
31 stars 40 forks source link

GeoGit clone is case insensitive #51

Closed bosth closed 2 years ago

bosth commented 10 years ago

You can clone a repo irrespective of the case provided to the GeoGit plugin. However, you can't push back unless the case is correct.