Skip to content
Snippets Groups Projects

feat: use official prefix if known

Merged feat: use official prefix if known
topic/default/prefix into branch/default
Merged Fabien Amarger requested to merge topic/default/prefix into branch/default

fixes the problem of standard w3.org vocabularies (skos, rdf, rdfs, etc.)

Merge request reports

Merge request pipeline #96226 passed

Stage: lint
    Stage: tests

      Merge request pipeline passed for 62ed723b

      Approval is optional

      Merged by Fabien AmargerFabien Amarger 3 years ago (Nov 25, 2021 5:06pm UTC)

      Merge details

      • Changes merged into with 62ed723b.
      • Deleted the source branch.
      • Auto-merge enabled

      Pipeline #96227 passed

      Stage: lint
        Stage: tests

          Pipeline passed for 62ed723b on branch/default

          Activity

          Filter activity
          • Approvals
          • Assignees & reviewers
          • Comments (from bots)
          • Comments (from users)
          • Commits & branches
          • Edits
          • Labels
          • Lock status
          • Mentions
          • Merge request status
          • Tracking
          Please register or sign in to reply