discord-bot-rss-feed/discord-bot-core/.gitrepo
benji7425 a0571cfc11 git subrepo pull discord-bot-core
subrepo:
  subdir:   "discord-bot-core"
  merged:   "8efb033"
upstream:
  origin:   "git@github.com:benji7425/discord-bot-core.git"
  branch:   "master"
  commit:   "8efb033"
git-subrepo:
  version:  "0.3.1"
  origin:   "???"
  commit:   "???"
2017-10-19 00:14:01 +01: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 = 8efb033b8f7f421677f7ddb1aa3cc7801202bd54
parent = ba6caa6be5cd775f794246736e1395ed7fa9f979
method = merge
cmdver = 0.3.1