search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

This repository is looking for a maintainer #45

Closed Zimmi48 closed 6 years ago

Zimmi48 commented 7 years ago

Who would be willing to watch this repository and provide feedback to people who open pull requests and merge them swiftly when they are ready? Neither @maximedenes, nor I have time to do that but the lack of a maintainer makes contributing to the website a very difficult and frustrating task.

@ybertot: would you be willing to do this? Or should it be @letouzey? (But I'm under the impression that Pierre is already overwhelmed by other tasks and has a lot to do with Coq anyway.)

mattam82 commented 6 years ago

Oh right. I survey from time to time the PRs here and opam packages repo but didn't commit to doing it yet. I guess this is low volume so I can propose myself but I'd be happy to share responsibility

ybertot commented 6 years ago

I will share.

Zimmi48 commented 6 years ago

I suppose that given the commitment of @mattam82 and @ybertot and given that most PRs have indeed been closed since then (with help of @letouzey), I suppose we can close this issue.