GitHub proposal repo permissions

[Herbert Valerio Riedel]

On 2016-10-12 at 19:09:47 +0200, Iavor Diatchki wrote:
> I was just trying to update the `Haskel 2020` project as it is not in sync
> with the actual pull-requests, bit I can't see a way to do it.  Am I
> missing something, or do I simply not have the required permissions?
>
> If this is indeed a permissions issue, could someone with access fix it
> (maybe David?).   Probably the easiest would be to create a group with all
> the members and give it access to the repo.

I originally created such groups already,

 - https://github.com/orgs/haskell/teams/core-language-committee
 - https://github.com/orgs/haskell/teams/core-libraries-committee

However, I see now that the core-lang group does not contain all members
it's supposed to contain; I'm specifically missing GitHub user ids for
the following 6 members:

 - Carlos Camarao de Figueiredo
 - Henk-Jan van Tuyl
 - Henrik Nilsson
 - José Manuel Calderón Trilla
 - Jurriaan Hage
 - Mario Blažević

So if you are on of those 6, please let me or David know your GitHub
user id, so we can add you.

If you're *not* on that list, please make sure you can see the core-lang
team URL above, and that it's your GitHub id that is listed for the
Github team (and if not, please let us know too!).

Thanks,
  H.V.Riedel