drake
drake copied to clipboard
[tools] Add push_release script to drake
Relates: #17736.
- This is the current version (ready for focal + jammy) on s3.
- Only change: user must manually set
gpg_keyvariable for now, comments added to explain.
tools/release_engineering/dev/push_release line 126 at r1 (raw file):
Previously, svenevs (Stephen McDowell) wrote…
FYI new file location, for review it would be worth double checking against the
scripts/push_release.
I moved this to AWS/secrets/push_release