onnxruntime

1d3b34cc - Add `.git` suffix to github URL.

Add `.git` suffix to github URL. Although github works with both, this is more precise. Having an extension also makes it easy to match with regex, when we want to inject code to reroute traffic to our own git mirror.