git-repo

mirror of https://gerrit.googlesource.com/git-repo synced 2025-06-26 20:17:52 +00:00

Files

Mike Frysinger b967f5c17a release: add tips for when to push prod changes

Change-Id: Iabfdd322acbc60ee16e5222ecdb261cd3a3c2cf9
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/257332
Tested-by: Mike Frysinger <vapier@google.com>
Reviewed-by: David Pursehouse <dpursehouse@collab.net>

2020-02-29 07:20:24 +00:00

README.md

release: import some helper scripts for managing official releases

2020-02-21 05:20:58 +00:00

sign-launcher.py

release: import some helper scripts for managing official releases

2020-02-21 05:20:58 +00:00

sign-tag.py

release: add tips for when to push prod changes

2020-02-29 07:20:24 +00:00

util.py

release: import some helper scripts for managing official releases

2020-02-21 05:20:58 +00:00

README.md

These are helper tools for managing official releases. See the release process document for more details.