leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4
Apache License 2.0
43 stars 15 forks source link

Harden git checkout calls #231

Closed eric-wieser closed 1 year ago

eric-wieser commented 1 year ago

By putting a -- after the sha, we ensure that git treats it as a ref and not a filename.