Release process

[ashalkhakov]

We should automate releases (let's use the releases feature of GitHub).

[bbarker]

That sounds good to me. We were also thinking of adding releases to a proper repository like Zenodo; one benefit:

Exceptionally, we allow small modifications to the record's files, if and only if the record was published recently (less than one week). If you have spotted mistakes such as typos, accidental omission of important files/inclusion of hidden files or confidential files and would like to update them, please contact us.

Not sure this step can be automated, but it is a simple upload process, and could be done after the github release.

[steinwaywhw]

I like the idea as well. Additionally, we can also use Github’s many other features, like issues and Projects to help manage releases and change logs.