]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 8805737) | patch
convert: copy description and git config from v1 repo
authorEric Wong <e@80x24.org>
Fri, 20 Apr 2018 07:21:56 +0000 (07:21 +0000)
committerEric Wong <e@80x24.org>
Fri, 20 Apr 2018 09:13:15 +0000 (09:13 +0000)
commit866837def71b9d70198f51e634e6141f75f0df3e
tree09b9f176394555a8a07158fd21975e6ebb5b3f92tree
parent88057373c20150001b3f944c33fd7577a74bab85commit | diff
convert: copy description and git config from v1 repo

I noticed I lost a $GIT_DIR/description in a conversion, so we
should preserve it.  While we're at it, we ought to copy any
config in the old repo to the new one.

We will need to warn about cloneurl since it's unfortunately
not an automatic process to update.  Oh well..
script/public-inbox-convert diff | blob | history
My patches to https://public-inbox.org/public-inbox.git