summaryrefslogtreecommitdiff
path: root/.gitreview
diff options
context:
space:
mode:
authorPatrick Georgi <pgeorgi@google.com>2020-05-11 23:47:12 +0200
committerPatrick Georgi <pgeorgi@google.com>2020-05-18 07:06:42 +0000
commit81a30ec3a72bf948ac17bc145bd9f7cda3884ad4 (patch)
tree31c92e7dbf1dcb25b34d7c3416a59694ec03caff /.gitreview
parentd906b21e2e1b5b4d5c1290436d4eaf1d5bc27070 (diff)
util/release: Check that HEAD isn't used as reference
genrelnotes moves the tree between commits and so a relative location like HEAD isn't stable. Since I ran into the HEAD issue while preparing for two consecutive releases, let's guard against it. Change-Id: I70c6812cdfe0d0671b3d653744a062d9920a2394 Signed-off-by: Patrick Georgi <pgeorgi@google.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/41339 Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net> Reviewed-by: Angel Pons <th3fanbus@gmail.com> Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions