summaryrefslogtreecommitdiff
path: root/Types/StandardGroups.hs
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2014-02-28 20:37:03 -0400
committerGravatar Joey Hess <joey@kitenet.net>2014-02-28 20:37:03 -0400
commitc597e4ebe25f2ebbc09548fc4607282d1789b523 (patch)
treede6497d08d6cafe9e59b7c5e0300938c4718c8f9 /Types/StandardGroups.hs
parent4a7e4aa126c1b8e28892188857b625ea65e185b6 (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.hs4
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 $