Attention is currently required from: Filip Lewiński, Maciej Pijanowski, Martin L Roth, Michał Żygowski, Nicholas Chin, Nico Huber.
Felix Singer has posted comments on this change by Felix Singer. ( https://review.coreboot.org/c/coreboot/+/83363?usp=email )
Change subject: payloads/ipxe/makefile: Use git reset for resetting config state
......................................................................
Patch Set 4:
(2 comments)
File payloads/external/iPXE/Makefile:
https://review.coreboot.org/c/coreboot/+/83363/comment/ecf064ac_4cb40da1?usp... :
PS4, Line 35: config: checkout
`checkout` might already fail due to the dirty tree. […]
Good point. I will look at that again later.
https://review.coreboot.org/c/coreboot/+/83363/comment/5f7f5d81_1f7c1a92?usp... :
PS4, Line 37: git reset --hard
Why not […]
I was thinking of doing that, but I decided against because more header files will be modified later. Anyway, that's definitely the friendlier way of both.
--
To view, visit
https://review.coreboot.org/c/coreboot/+/83363?usp=email
To unsubscribe, or for help writing mail filters, visit
https://review.coreboot.org/settings?usp=email
Gerrit-MessageType: comment
Gerrit-Project: coreboot
Gerrit-Branch: main
Gerrit-Change-Id: I325cf4d155780208b6f9cbbc49e50a69a4d59dd3
Gerrit-Change-Number: 83363
Gerrit-PatchSet: 4
Gerrit-Owner: Felix Singer
service+coreboot-gerrit@felixsinger.de
Gerrit-Reviewer: Filip Lewiński
filip.lewinski@3mdeb.com
Gerrit-Reviewer: Maciej Pijanowski
maciej.pijanowski@3mdeb.com
Gerrit-Reviewer: Martin L Roth
gaumless@gmail.com
Gerrit-Reviewer: Michał Żygowski
michal.zygowski@3mdeb.com
Gerrit-Reviewer: Nicholas Chin
nic.c3.14@gmail.com
Gerrit-Reviewer: build bot (Jenkins)
no-reply@coreboot.org
Gerrit-CC: Nico Huber
nico.h@gmx.de
Gerrit-Attention: Nico Huber
nico.h@gmx.de
Gerrit-Attention: Michał Żygowski
michal.zygowski@3mdeb.com
Gerrit-Attention: Maciej Pijanowski
maciej.pijanowski@3mdeb.com
Gerrit-Attention: Martin L Roth
gaumless@gmail.com
Gerrit-Attention: Filip Lewiński
filip.lewinski@3mdeb.com
Gerrit-Attention: Nicholas Chin
nic.c3.14@gmail.com
Gerrit-Comment-Date: Thu, 11 Jul 2024 14:22:26 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Comment-In-Reply-To: Nico Huber
nico.h@gmx.de