discord-bot-rss-feed/discord-bot-core/.gitrepo
benji7425 1816433f19 git subrepo pull (merge) discord-bot-core
subrepo:
  subdir:   "discord-bot-core"
  merged:   "71586d6"
upstream:
  origin:   "git@github.com:benji7425/discord-bot-core.git"
  branch:   "master"
  commit:   "a0387b3"
git-subrepo:
  version:  "0.3.1"
  origin:   "???"
  commit:   "???"
2018-01-23 00:52:11 +00:00

13 lines
425 B
Plaintext

; 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/git-commands/git-subrepo#readme
;
[subrepo]
remote = git@github.com:benji7425/discord-bot-core.git
branch = master
commit = a0387b3cd16daa46ab9b34662ae2785b5d808bfb
parent = 81b78e2bd223b79219a4a0b3e79cc3cdc1b9f503
method = merge
cmdver = 0.3.1