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 memb

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. Anyw

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 p