The current headache with Zenodo's automatic DOI allocation is that the DOI issuing timing more of a chicken and egg problem. Luckily, there is a general DOI value for every linked GitHub repo. Hence, let's change it to use general DOI instead.
This patch set AutomataCI's DOI to use Zenodo's general DOI instead in root repository.
The current headache with Zenodo's automatic DOI allocation is that the DOI issuing timing more of a chicken and egg problem. Luckily, there is a general DOI value for every linked GitHub repo. Hence, let's change it to use general DOI instead.
This patch set AutomataCI's DOI to use Zenodo's general DOI instead in root repository.