commit | e1ca35d0980ef1fc0e83cdc8e01a7483868fd22a | [log] [tgz] |
---|---|---|
author | Florian Weikert <fwe@google.com> | Thu Jan 25 13:46:16 2024 +0100 |
committer | GitHub <noreply@github.com> | Thu Jan 25 13:46:16 2024 +0100 |
tree | 19c544b76cfa6b86ba046fbdaa9f4391536866fc | |
parent | 9667e8d14136922a5f3e9184832ca3c1567c2acb [diff] |
Read script from HEAD when --script is set (#1860) We have to append the date as (ignored) query string so that we don't get an older, cached version of the script.