Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
root: set AutomataCI's DOI to use Zenodo's general DOI instead
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. Co-authored-by: Shuralyov, Jean <[email protected]> Co-authored-by: Galyna, Cory <[email protected]> Co-authored-by: (Holloway) Chew, Kean Ho <[email protected]> Signed-off-by: (Holloway) Chew, Kean Ho <[email protected]>
- Loading branch information