git subrepo pull (merge) lib/kbibs
git subrepo pull (merge) lib/kbibs

subrepo:
  subdir:   "lib/kbibs"
  merged:   "80f1a771"
upstream:
  origin:   "git@github.com:KWARC/bibs.git"
  branch:   "master"
  commit:   "3e52d604"
git-subrepo:
  version:  "0.4.0"
  origin:   "git@github.com:ingydotnet/git-subrepo.git"
  commit:   "5d6aba9"


KWARC/bibs,KWARC/bibs