Create CITATION.cff

[aubertc]

Tested valid w.r.t. specification at https://github.com/citation-file-format/citation-file-format/blob/main/schema-guide.md

[gallais]

Note that you have missed some people from the original team: https://coqtail.github.io/team.html

[aubertc]

Ok thanks @gallais , I've tried to fix that, but cannot access the members of the "Former team (COQUILLE project)" as the page seems to be in error and the archives captured the 404 error message.

[jmadiot]

Hi, thanks. The list of authors in the README has been kept up-to-date, as far as I can tell. Can you update the PR so that they are the same? Also can you pick the maintainer as contact?

[aubertc]

Assuming Amaury Pouly is pamaury, I believe the current list of authors subsumes what's in the Readme. Whether people from the original team are included or not in the CITATION.cff file is something you'll have to decide (@gallais recommended including them).

The contact is now set to @jmadiot , apologies for the blunder.

[jmadiot]

Hi, so I took the time to go through the contributions of the former coquille team, then of the coqtail team, excluded the contributions that are not part of this repo and updated the list of authors accordingly. There was indeed a few old omissions, but the list should be comprehensive now, I think.

Hopefully I did not mess up the formatting of the file.

[aubertc]

Nope, cffconvert says it's still valid.

[aubertc]

You can see how it will look like in my fork, BTW.