subrepo:
  subdir:   "cicm16/bibs"
  merged:   "3abd672"
upstream:
  origin:   "https://github.com/KWARC/bibs"
  branch:   "master"
  commit:   "3abd672"
git-subrepo:
  version:  "0.3.1"
  origin:   "git@github.com:ingydotnet/git-subrepo.git"
  commit:   "ea9af4f"