diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2017-02-17 15:21:39 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-02-17 15:21:52 -0400 |
| commit | 2c74780d475a2c9e60d8bf4d222bec7e15ca9dd6 (patch) | |
| tree | aab7ebc93be5e1533cbca8bfb8363df56fcd7e94 /Config.hs | |
| parent | f3affee1f111886057a5cc3083b55bfafa50bae8 (diff) | |
sync hack to make updateInstead work on eg FAT
sync: When syncing with a local repository located on a crippled
filesystem, run the post-receive hook there, since it wouldn't get run
otherwise. This makes pushing to repos on FAT-formatted removable drives
update them when receive.denyCurrentBranch=updateInstead.
Made Remote.Git export onLocal, which was cleaned up to not have so many
caveats about its use.
This commit was sponsored by Jeff Goeke-Smith on Patreon.
Diffstat (limited to 'Config.hs')
0 files changed, 0 insertions, 0 deletions