diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-02-17 14:04:43 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-02-17 14:04:43 -0400 |
commit | 615053c624b357520ef01db60c58e60d848a44bd (patch) | |
tree | 90bcd7299da5767ddab3eaabb335c55b9a13a9be /Git/SharedRepository.hs | |
parent | 5b64144c2fb989f9799c1ec328b442b504b1d10f (diff) |
post-recive hook to make updateInstead work in direct mode and adjusted branches
* Added post-recieve hook, which makes updateInstead work with direct
mode and adjusted branches.
* init: Set up the post-receive hook.
This commit was sponsored by Fernando Jimenez on Patreon.
Diffstat (limited to 'Git/SharedRepository.hs')
-rw-r--r-- | Git/SharedRepository.hs | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/Git/SharedRepository.hs b/Git/SharedRepository.hs deleted file mode 100644 index 1e7382388..000000000 --- a/Git/SharedRepository.hs +++ /dev/null @@ -1,28 +0,0 @@ -{- git core.sharedRepository handling - - - - Copyright 2012 Joey Hess <id@joeyh.name> - - - - Licensed under the GNU GPL version 3 or higher. - -} - -module Git.SharedRepository where - -import Data.Char - -import Common -import Git -import qualified Git.Config - -data SharedRepository = UnShared | GroupShared | AllShared | UmaskShared Int - -getSharedRepository :: Repo -> SharedRepository -getSharedRepository r = - case map toLower $ Git.Config.get "core.sharedrepository" "" r of - "1" -> GroupShared - "2" -> AllShared - "group" -> GroupShared - "true" -> GroupShared - "all" -> AllShared - "world" -> AllShared - "everybody" -> AllShared - v -> maybe UnShared UmaskShared (readish v) |