diff options
author | Patrick Georgi <pgeorgi@google.com> | 2018-10-23 14:35:37 +0200 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2018-11-07 21:42:34 +0000 |
commit | 4cec6b6d93bef15ce637c3621620e2bc57c07b55 (patch) | |
tree | 6ad406327e842520497e5305dc2d7e037979ade4 /src/arch/x86/Makefile.inc | |
parent | 9eac039f592f44dc3580682597b794c27684d70f (diff) | |
download | coreboot-4cec6b6d93bef15ce637c3621620e2bc57c07b55.tar.xz |
board-status.html: improve instructions
The foreword mentioned that you need a gerrit account, but not how to
have git push with the right credentials.
To ease onboarding, point out where to get them.
Change-Id: I0b022bc064e3bc89568617c1a3a3e0e5236ba520
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/29240
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'src/arch/x86/Makefile.inc')
0 files changed, 0 insertions, 0 deletions