Code

IRIs uniformation#262

Code

Closed

hothello wants to merge 7 commits into1.0.0-beta5emmo-repo/EMMO:1.0.0-beta5from iri_fixesemmo-repo/EMMO:iri_fixesCopy head branch name to clipboard

+1,093-1,081

Commits

Commits on Feb 8, 2024

• Fixed IRIs in non-standard formats:

  Show description for 5becb82
  hothello

  committed
  5becb82

  Copy full SHA for 5becb82

• mlo and tlo files updated.

  hothello

  committed
  c213efc

  Copy full SHA for c213efc

Commits on Feb 9, 2024

• Restructure the fixes.sh script to check future branches prior to merge and pull requests.

  hothello

  committed
  709f5cb

  Copy full SHA for 709f5cb

• environment added back to the script fixes.sh.

  hothello

  committed
  03cdb18

  Copy full SHA for 03cdb18

• Triple quotes added back, and removed from the fixes.sh script.

  hothello

  committed
  26818a0

  Copy full SHA for 26818a0

• cross-checked with a different script, two missing backquotes added.

  hothello

  committed
  3a41bfd

  Copy full SHA for 3a41bfd

Commits on Feb 13, 2024

• Merge branch '1.0.0-beta5' into iri_fixes

  jesper-friis

  committed
  d8cbcc8

  Copy full SHA for d8cbcc8