diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2018-12-20 17:17:55 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-12-21 18:06:01 +0000 |
| commit | 35c8dcf9922328e9259226cd8d99219e96bb06ec (patch) | |
| tree | 4fc43c29dc5805b57d5c985aba97232c8de60a06 /.gitmodules | |
| parent | fa13a6437e1f62f79ac9f81840c18f7115828f51 (diff) | |
util/release/genrelnotes: Don't assume we're on origin/master
A release may be done from an older commit. It's also not a problem as
commits are stored in the reflog (unlike local changes that the script
guards properly).
Change-Id: I26f1c16c1cdfc9e77e28528b3327ce30c5b82b19
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/30341
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions