git subrepo pull examples
git subrepo pull examples

subrepo:
  subdir:   "examples"
  merged:   "941fa06"
upstream:
  origin:   "/home/sccblom/git/vercors-examples.git"
  branch:   "public"
  commit:   "6953ae2"
git-subrepo:
  version:  "0.3.0"
  origin:   "???"
  commit:   "???"

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors