Skip to content

History / Tagging Instructions

Revisions

  • Add info on tagging the development branch.

    @nusbaume nusbaume committed Jul 9, 2024
  • Add extra rule that tags should target merge commits into main branch.

    @nusbaume nusbaume committed Jan 17, 2024
  • Add a description of the tag naming convention.

    @nusbaume nusbaume committed Sep 18, 2023
  • Add initial "tagging instructions" wiki page

    @nusbaume nusbaume committed Sep 18, 2023