commit | 8b037a90eb1f85c938a98a89cffae85df63795db | [log] [tgz] |
---|---|---|
author | hvadehra <hvd@google.com> | Fri Dec 06 12:28:10 2024 +0100 |
committer | GitHub <noreply@github.com> | Fri Dec 06 12:28:10 2024 +0100 |
tree | bdac174eb3531ea71329007fcaf69f274bcaf32c | |
parent | cf6309abab614ccd5401106b90305c39dd7262a6 [diff] |
Fix rules_java release pipeline config (#2137) This enables making releases at specific points even if the branch has moved ahead. Before this change, the release would always be made at the HEAD of chosen branch, we should instead to do so at the specific commit that the workflow is executed on.