on master help sign in
Merge pull request #258 from bergmark/patch-3

Update convertGithubUser comment

commita3c02ccad9b28a9f617d7d17eb06fe413d0116b0 authorMichael Snoyman <michael@snoyman.com> dateFri 18 Jul 2014, 12:04 (12 years ago) parent0cab6ea529cfab
1 file changed+2−3
Stackage/Config.hs+2−3
Stackage/Config.hs+2−3
@@ -484,10 +484,9 @@ defaultStablePackages ghcVer requireHP = unPackageMap $ execWriter $ do
484484 Just range' -> tell $ PackageMap $ Map.singleton (PackageName package) (range', Maintainer maintainer)
485485
486486-- | Replacement Github users. This is useful when a project is owned by an
487−-- organization, and you'd like to ping either an individual or a team in that
488−-- organization. See:
487+-- organization. It also lets you ping multiple users.
489488--
490−-- https://github.com/fpco/stackage/issues/226#issuecomment-45644142
489+-- Note that cross organization team mentions aren't allowed by Github.
491490convertGithubUser :: String -> [String]
492491convertGithubUser x =
493492 fromMaybe [x] $ Map.lookup (map toLower x) pairs