git subrepo init --remote=https://github.com/voodoos/ppx_deriving_jsont…

… --branch=ocmx vendor/ppx_deriving_jsont

subrepo:
  subdir:   "vendor/ppx_deriving_jsont"
  merged:   "fc21dc0"
upstream:
  origin:   "https://github.com/voodoos/ppx_deriving_jsont"
  branch:   "ocmx"
  commit:   "none"
git-subrepo:
  version:  "0.4.9"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "ea10886"

vendor/ppx_deriving_jsont/.gitrepo

@@ -0,0 +1,11 @@
+; DO NOT EDIT (unless you know what you are doing)
+;
+; This subdirectory is a git "subrepo", and this file is maintained by the
+; git-subrepo command. See https://github.com/ingydotnet/git-subrepo#readme
+;
+[subrepo]
+	remote = https://github.com/voodoos/ppx_deriving_jsont
+	branch = ocmx
+	commit = 
+	method = merge
+	cmdver = 0.4.9