diff options
| author | Eric Wong <e@80x24.org> | 2018-04-20 07:21:56 +0000 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2018-04-20 09:13:15 +0000 |
| commit | 866837def71b9d70198f51e634e6141f75f0df3e (patch) | |
| tree | 09b9f176394555a8a07158fd21975e6ebb5b3f92 /lib | |
| parent | 88057373c20150001b3f944c33fd7577a74bab85 (diff) | |
| download | public-inbox-866837def71b9d70198f51e634e6141f75f0df3e.tar.gz | |
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..
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions