Repository navigation

Revert "Use official github tool for creating release" - #913

Merged

spoorcc merged 10 commits into

mainfrom

revert-912-fix-release-mechanism

Jan 4, 2026

Merged

Revert "Use official github tool for creating release"#913
spoorcc merged 10 commits into
mainfrom
revert-912-fix-release-mechanism

Commits on Jan 4, 2026
- Revert "No need to fetch tag etc, see comment"
  spoorcc
  authored
  5974456
- Revert "Setup python before checkout to not interfere with repo"
  spoorcc
  authored
  c872b2a
- Revert "Overwrite the local tag"
  spoorcc
  authored
  0728a12
- Revert "Refresh just before creating release"
  spoorcc
  authored
  b991c2b
- Revert "Verify the tag"
  spoorcc
  authored
  d8700a0
- Revert "Make sure gh release operates on correct repo"
  spoorcc
  authored
  d94c30d
- Revert "--clobber should be last arg"
  spoorcc
  authored
  b5097f7
- Revert "Make sure we have tag info when creating release"
  spoorcc
  authored
  1a13207
- Revert "Use official gh release tool for uploading artifacts as well"
  spoorcc
  authored
  54163d5
- Revert "Use official github tool"
  spoorcc
  authored
  8972196