diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-02-28 20:37:03 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-02-28 20:37:03 -0400 |
| commit | c597e4ebe25f2ebbc09548fc4607282d1789b523 (patch) | |
| tree | de6497d08d6cafe9e59b7c5e0300938c4718c8f9 /Types/StandardGroups.hs | |
| parent | 4a7e4aa126c1b8e28892188857b625ea65e185b6 (diff) | |
webapp: Don't list the public repository group when editing a git repository; it only makes sense for special remotes.
Diffstat (limited to 'Types/StandardGroups.hs')
| -rw-r--r-- | Types/StandardGroups.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Types/StandardGroups.hs b/Types/StandardGroups.hs index d95f28ee1..2f5cd4b30 100644 --- a/Types/StandardGroups.hs +++ b/Types/StandardGroups.hs @@ -72,6 +72,10 @@ associatedDirectory (Just c) PublicGroup = Just $ associatedDirectory Nothing PublicGroup = Just "public" associatedDirectory _ _ = Nothing +specialRemoteOnly :: StandardGroup -> Bool +specialRemoteOnly PublicGroup = True +specialRemoteOnly _ = False + {- See doc/preferred_content.mdwn for explanations of these expressions. -} preferredContent :: StandardGroup -> PreferredContentExpression preferredContent ClientGroup = lastResort $ |