diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2016-01-07 18:06:20 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-01-07 18:06:20 -0400 |
| commit | f77724a9d76f15c20497fd42ff5d56c264c6a308 (patch) | |
| tree | 4ffe059d0e21bb06a8e460022cac7574d9033bf5 /Git/Types.hs | |
| parent | 11c1bf9924c4ff5945572005529ffdfabf8cf4e9 (diff) | |
rekey: No longer copies over urls from the old to the new key.
It makes sense for migrate to do that, but not for this low-level (and
little used) plumbing command to.
Diffstat (limited to 'Git/Types.hs')
0 files changed, 0 insertions, 0 deletions