Skip to content

remove unnecessary git usages#127552

Merged
bors merged 1 commit intorust-lang:masterfrom
onur-ozkan:unnecessary-git-usage
Jul 12, 2024
Merged

remove unnecessary `git` usages#127552
bors merged 1 commit intorust-lang:masterfrom
onur-ozkan:unnecessary-git-usage

Commits

Commits on Jul 10, 2024