| commit | 7c7ceeef4966c93d5dea90461c70748ae7a8eac5 | [log] [tgz] |
|---|---|---|
| author | Jakob Buchgraber <buchgr@google.com> | Mon Oct 28 10:28:58 2019 +0100 |
| committer | Yun Peng <pcloudy@google.com> | Mon Oct 28 10:28:58 2019 +0100 |
| tree | de24ad19cf9d86cbbd8e15d814e3d865cc58458b | |
| parent | 5f67627443bf845420f065f2a4c180b64cd677f1 [diff] |
make update_last_green_commit robust against force pushes (#863)