Closed dweindl closed 1 month ago
git subrepo clone (merge) --branch=v0.27.0 --force git@github.com:AMICI-dev/AMICI.git deps/AMICI subrepo: subdir: "deps/AMICI" merged: "638c3eef" upstream: origin: "git@github.com:AMICI-dev/AMICI.git" branch: "v0.27.0" commit: "638c3eef" git-subrepo: version: "0.4.8" origin: "https://github.com/ingydotnet/git-subrepo" commit: "3a53c20"
Issues 0 New issues 0 Accepted issues
Measures 0 Security Hotspots 0.0% Coverage on New Code 0.0% Duplication on New Code
See analysis details on SonarCloud