On Sun, Aug 24, 2014 at 2:42 AM, Thomas Caswell <tcaswell@…149…> wrote:
Github has made it possible to get a DOI for a release (
I am inclined to do this for 1.4.0. I think doing this is a good
first step towards being good (leading?) citizens in the reproducible
FYI, since I just spent half an hour figuring this out:
To use the Zenodo magic DOI feature you have to:
Attach Zenodo to the repository like it says in the tutorial.
Create a “release” on github, which is not the same as a tag,
even though the github UI claims that they are identical. See all of
these releases that are listed on your github releases page?
None of them are actually releases in the sense that Zenodo wants.
Here’s an example of what it looks like after you’ve made Zenodo happy:
The trick is to click “draft a new release”, and then type in the name
of your existing tag. You can add some release notes if desired, which
will be copied to the archived Zenodo page, which will look like this:
(The text "See release notes: " is what I typed into the Github
release description box.) And then click “Publish release” obviously.
This will convert your existing release tag into an extra-special
release tag, which AFAICT works the same as before except that (a) it
gets snazzier graphics in the github UI, and (b) Zenodo will archive
Nathaniel J. Smith
Postdoctoral researcher - Informatics - University of Edinburgh