From 529cfabce569f6704805cb56770c10f7fef90a7a Mon Sep 17 00:00:00 2001 From: Adam Bergmark Date: Fri, 18 Jul 2014 11:02:33 +0200 Subject: [PATCH] Update convertGithubUser comment --- Stackage/Config.hs | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/Stackage/Config.hs b/Stackage/Config.hs index be40b18e..72a117a7 100644 --- a/Stackage/Config.hs +++ b/Stackage/Config.hs @@ -484,10 +484,9 @@ defaultStablePackages ghcVer requireHP = unPackageMap $ execWriter $ do Just range' -> tell $ PackageMap $ Map.singleton (PackageName package) (range', Maintainer maintainer) -- | Replacement Github users. This is useful when a project is owned by an --- organization, and you'd like to ping either an individual or a team in that --- organization. See: +-- organization. It also lets you ping multiple users. -- --- https://github.com/fpco/stackage/issues/226#issuecomment-45644142 +-- Note that cross organization team mentions aren't allowed by Github. convertGithubUser :: String -> [String] convertGithubUser x = fromMaybe [x] $ Map.lookup (map toLower x) pairs