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 | |
| parent | 4a7e4aa126c1b8e28892188857b625ea65e185b6 (diff) | |
webapp: Don't list the public repository group when editing a git repository; it only makes sense for special remotes.
| -rw-r--r-- | Types/StandardGroups.hs | 4 | ||||
| -rw-r--r-- | debian/changelog | 2 |
2 files changed, 6 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 $ diff --git a/debian/changelog b/debian/changelog index f051484b6..eeac261b8 100644 --- a/debian/changelog +++ b/debian/changelog @@ -6,6 +6,8 @@ git-annex (5.20140228) UNRELEASED; urgency=medium git directory anymore. (Or are bare) * webapp: Refuse to start in a bare git repository. * assistant --autostart: Refuse to start in a bare git repository. + * webapp: Don't list the public repository group when editing a + git repository; it only makes sense for special remotes. -- Joey Hess <joeyh@debian.org> Fri, 28 Feb 2014 14:52:15 -0400 |