git subrepo pull packages/HighFive
Compare changes
subrepo: subdir: "packages/HighFive" merged: "dfc06537f" upstream: origin: "git@github.com:BlueBrain/HighFive.git" branch: "master" commit: "dfc06537f" git-subrepo: version: "0.4.9" origin: "git@github.com:ingydotnet/git-subrepo.git" commit: "30db3b8"