diff options
| author |  Joey Hess <joey@kitenet.net> | 2012-10-31 14:39:02 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2012-10-31 14:39:05 -0400 |
| commit | 8f4726ff9e194d8b5e27b03e45d49de5325b8d1a (patch) | |
| tree | b4ce7bafdf127227a4c6c7ab2289e595a921d5bb /Git/Remote.hs | |
| parent | 7a2f6446e5b939adaa0e15ba677b47d90abf3608 (diff) | |
webapp: Fix renaming of special remotes.
Working around what seems to me to be a git bug. Surely there are valid
setups of real git remotes that don't have fetch set?
Diffstat (limited to 'Git/Remote.hs')
0 files changed, 0 insertions, 0 deletions