[Agda-dev] Agda std-lib maintainer

[G. Allais]

> I think we should designate a maintainer for the std-lib, to get the
> pull requests merged.

Agreed. Aggressively designating reviewers and having a document
spelling out the guidelines [1] might also speed up the process.
Quite a lot of PRs are small enough that they can be reviewed in
less than a quarter of an hour and they end up in limbo mostly
because no one feels they have to / can say yes/no.

[1] I'd assume:
- Check it compiles with master (the travis builds are still broken)
- Check it's backwards compatible (is the fact that the
  export list is a superset of the previous one sufficient?)
- Naming conventions?



On 07/06/17 23:04, Andreas Abel wrote:
> Hi Agda developers,
> 
> I think we should designate a maintainer for the std-lib, to get the
> pull requests merged.
> 
> It should someone with some genuine interest in the library, with a good
> taste, fairly conservative and responsible.
> 
> The library should be developed in a backwards-compatible way, without
> big revolutions, but with continuity in mind.
> 
> What do you think?
> 
> Best,
> Andreas
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://lists.chalmers.se/pipermail/agda-dev/attachments/20170608/93fe9922/attachment.sig>