Closed dweindl closed 3 years ago
git subrepo clone (merge) --branch=v0.11.18 --force git@github.com:AMICI-dev/AMICI.git deps/AMICI
subrepo: subdir: "deps/AMICI" merged: "bd3b89d3" upstream: origin: "git@github.com:AMICI-dev/AMICI.git" branch: "v0.11.18" commit: "bd3b89d3" git-subrepo: version: "0.4.3" origin: "https://github.com/ingydotnet/git-subrepo" commit: "be9f02a"
Kudos, SonarCloud Quality Gate passed!
0 Bugs 0 Vulnerabilities 0 Security Hotspots 0 Code Smells
No Coverage information No Duplication information
git subrepo clone (merge) --branch=v0.11.18 --force git@github.com:AMICI-dev/AMICI.git deps/AMICI
subrepo: subdir: "deps/AMICI" merged: "bd3b89d3" upstream: origin: "git@github.com:AMICI-dev/AMICI.git" branch: "v0.11.18" commit: "bd3b89d3" git-subrepo: version: "0.4.3" origin: "https://github.com/ingydotnet/git-subrepo" commit: "be9f02a"