Re: Merging RFC pull requests

2016-08-10 Thread David Luposchainsky via Haskell-prime
On 10.08.2016 05:23, M Farkas-Dyck wrote: > Who has authority to do so? Shall we vote whether to merge each? The idea is that people talk about the proposals in the comments, and if we come to an agreement on a proposal, we merge the PR. This isn’t set in stone, but I felt like someone should get

Re: Step-by-step guide for creating a new proposal

2016-10-04 Thread David Luposchainsky via Haskell-prime
On 04.10.2016 01:27, Iavor Diatchki wrote: > During our Haskell Prime lunch meeting at ICFP, I promised to create a > detailed > step-by-step guide for creating Haskell Prime proposals on GitHub. The > instructions are now available here: > >

Re: New Github features and Haskell Prime

2016-09-22 Thread David Luposchainsky via Haskell-prime
I did not plan this out too much. I would say let's use common sense rather than setting up processes. The columns are to give viewers an overview for our open process. Anyway, here's the gist behind the columns when I created them: Pre-proposed is for things nobody cared enough about to write

New Github features and Haskell Prime

2016-09-22 Thread David Luposchainsky via Haskell-prime
Hello prime people, Github recently added a board-style overview over tickets and small notes. I think this is a great addition, and converted all current PRs to board items. There is no shortage of things to be considered for Haskell Prime, and I find it hard to think of them all. For things

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.

Re: Process question

2016-10-18 Thread David Luposchainsky via Haskell-prime
On 04.10.2016 19:09, Iavor Diatchki wrote: > Now that we've started with a few proposal, I am realizing that I have no idea > how to proceed from here. > 1. How would I request I proposal to be rejected I think we should be discussing things, rather than inventing too many processes. The number