Something like:
git checkout 8.5.85
git add ...
git commit - "Update 8.5.85 tag to include signature files"
git tag -d 8.5.85
git push --delete origin 8.5.85
git tag 8.5.85
git push origin 8.5.85
?
Mark
On 12/01/2023 18:51, Christopher Schultz wrote:
Mark,
On 1/11/23 14:45, Mark Thomas wrote:
On 11/01/2023 15:49, Christopher Schultz wrote:
Mark,
On 1/11/23 10:39, Christopher Schultz wrote:
Mark,
On 1/11/23 04:22, Mark Thomas wrote:
On 11/01/2023 01:47, Christopher Schultz wrote:
The proposed 8.5.85 release is:
[X] Broken - do not release
[ ] Stable - go ahead and release as 8.5.85 (stable)
The signature files required for a reproducible build are missing
from the tag.
Compare
https://github.com/apache/tomcat/tree/10.1.5/res/install-win
with
https://github.com/apache/tomcat/tree/8.5.85/res/install-win
:(
Let me see how that happened.
Oh, right. I was thinking I was missing build.properties.release, but
I'm missing the detached signatures.
That's because I followed the "release process" page and forgot that
you basically have to do a complete release, push those signatures to
the tag, and then re-build the release from the tag. Do I have that
right?
Should I cancel the vote and re-start, or let the process continue?
In theory, if you still have the sig files you should be able to
re-tag without changing the binaries. If that works, I'd restart the
VOTE with an updated tag hash.
I have everything from the release build still here, including these sigs:
./output/dist/src/res/install-win/tomcat-installer.exe.sig
./output/dist/src/res/install-win/Uninstall.exe.sig
./output/dist/Uninstall.exe.sig
./res/install-win/tomcat-installer.exe.sig
./res/install-win/Uninstall.exe.sig
So I think I can do it just by re-tagging.
Unfortunately, the branch has diverged since I cut my release tag. Can I
use a tag as a branch and produce a new tag from that? I know the commit
id of the branch just prior to tagging. My git-fu is weak on all this.
Or should I just cancel the vote and use a new release version?
-chris
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org