fix: case-insensitive artifact URL lookup and normalize bare DOI links#10

vahldiek merged 1 commit into

ReproDB:mainReproDB/reprodb.github.io:mainfrom

vahldiek:fix/profile-artifact-links-and-doi-urlsvahldiek/reprodb.github.io:fix/profile-artifact-links-and-doi-urlsCopy head branch name to clipboard