Adding References to GitHub tickets

From GO Wiki
Jump to: navigation, search
 See Ontology_Editors_Daily_Workflow for creating branches and basic Protégé instructions.

Overview

To simplify finding tickets relevant to terms, including term creation, obsoletion, merges, or any other useful discussion, an annotation property term tracker item can be added to link to the appropriate ticket(s).


Adding a term tracker item

  1. In Protege, navigate to the term you wish to add a GitHub tracker link.
  2. In the Annotation window on the right, click on the + to the right of Annotations at the very top of the window.
  3. In the pop-up window that appears, click on term tracker item on the left-hand panel.
  4. In the right-hand panel, copy/paste the full URL to the GitHub ticket in the ‘Literal’ tab.
  5. In the 'Type' pulldown menu at the bottom of the window, select xsd:anyURI
  6. Click on OK to save your edits.


 See Ontology_Editors_Daily_Workflow for commit, push and merge instructions.

Review Status

Last reviewed: March 4, 2020

Back to: Editing the Ontology