Re: GitHub proposal repo permissions

2016-10-19 Thread Iavor Diatchki
Hi, I think Herbert added me to the correct group, thanks!

On Tue, Oct 18, 2016 at 10:24 AM, David Luposchainsky via Haskell-prime <
haskell-prime@haskell.org> wrote:

> On 12.10.2016 19:09, Iavor Diatchki wrote:
> > could someone with access fix it, maybe David
>
> I’m just a regular Haskell member (I think), Herbert gave me the access
> rights
> and I didn’t run into any problems yet. Now that I’m back from my holidays
> I
> guess I’m a bit late to answering your issue.
>
> Anyway, I looked at the RFCS settings, and it seems like I could have
> added you.
> Is the issue resolved, or should I give you permissions?
>
> Greetings,
> David
>
> --
> My GPG keys: https://keybase.io/quchen
> ___
> Haskell-prime mailing list
> Haskell-prime@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
>
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime


Re: GitHub proposal repo permissions

2016-10-18 Thread David Luposchainsky via Haskell-prime
On 12.10.2016 19:09, Iavor Diatchki wrote:
> could someone with access fix it, maybe David

I’m just a regular Haskell member (I think), Herbert gave me the access rights
and I didn’t run into any problems yet. Now that I’m back from my holidays I
guess I’m a bit late to answering your issue.

Anyway, I looked at the RFCS settings, and it seems like I could have added you.
Is the issue resolved, or should I give you permissions?

Greetings,
David

-- 
My GPG keys: https://keybase.io/quchen
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime


Re: GitHub proposal repo permissions

2016-10-12 Thread 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
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime


GitHub proposal repo permissions

2016-10-12 Thread Iavor Diatchki
Hello,

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.

-Iavor
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime