Should project URL support .git ending?

Copying the path through github.com adds .git tot eh path.  Should dado support this?

https://github.com/the-carlisle-group/Dado.git

INDEX ERROR
GetIncludeInApplicationNotes[11] p←⍺[⍺.URL⍳d.URL]
                                    ∧
