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 /Assistant.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 'Assistant.hs')
0 files changed, 0 insertions, 0 deletions