board-status.html: improve instructions
commit4cec6b6d93bef15ce637c3621620e2bc57c07b55
authorPatrick Georgi <pgeorgi@google.com>
Tue, 23 Oct 2018 12:35:37 +0000 (23 14:35 +0200)
committerPatrick Georgi <pgeorgi@google.com>
Wed, 7 Nov 2018 21:42:34 +0000 (7 21:42 +0000)
tree6ad406327e842520497e5305dc2d7e037979ade4
parent9eac039f592f44dc3580682597b794c27684d70f
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>
util/docker/coreboot.org-status/board-status.html/foreword.html