webapp: Don't list the public repository group when editing a git repository; it only makes sense for special remotes.
This commit is contained in:
parent
c8528864e1
commit
6469c1aca9
3 changed files with 18 additions and 5 deletions
|
@ -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 $
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue