Closed edemaine closed 3 months ago
First run generates this output:
Tagging v0.1.0 -> 5f2c466ea03360efa6461784e57a7702a1dfbbf9 Tagging v0.1.1 -> 63f0e43ab17b9c1f54b52ffafd015d621e3bfd6f Tagging v0.2.0 -> 570be10a179c8f348a7f776991b2e2033684d141 Tagging v0.2.2 -> a6fe0838d0198e65dd331dcec61092f048fdbc3e ... Tagging v0.7.20 -> 1f6b8c4c86780a7db396a662a9603f3b3e5c0e4f Tagging v0.7.21 -> ffa327c2488dfb20e06b70718afa4b78c4909cde Tagging v0.7.22 -> 2911264c014135f356955967f0085352ed569f64 Tagging v0.7.23 -> a57ef22f8a53c53268afeacf570ab41a80711434
Second run generates no output (all tags verified pointing to the correct place).
Once approved, I'll push all the tags to the repo. In the future, upon release, we'd do git push --follow-tags to push the new release tag.
git push --follow-tags
First run generates this output:
Second run generates no output (all tags verified pointing to the correct place).
Once approved, I'll push all the tags to the repo. In the future, upon release, we'd do
git push --follow-tagsto push the new release tag.