Re: GitHub proposal repo permissions
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
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
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
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