git subrepo push umbrella

subrepo:
  subdir:   "umbrella"
  merged:   "65058fc"
upstream:
  origin:   "git@dev.pdl.cmu.edu:pdlfs/umbrella"
  branch:   "master"
  commit:   "65058fc"
git-subrepo:
  version:  "0.4.0"
  origin:   "???"
  commit:   "???"

umbrella/.gitrepo

@@ -6,7 +6,7 @@
 [subrepo]
 	remote = git@dev.pdl.cmu.edu:pdlfs/umbrella
 	branch = master
-	commit = 021d0f41d102364bea8030d3d3697f29b395eb71
-	parent = 860e82844abff27c45f4ce968bfc75a9dbaab18c
+	commit = 65058fc0ae3af82fbf4aed053e015bfd980270f6
+	parent = 625ce0566faedcb27c101fcc87c14331d0787043
 	cmdver = 0.4.0
 	method = merge