From 4cec6b6d93bef15ce637c3621620e2bc57c07b55 Mon Sep 17 00:00:00 2001
From: Patrick Georgi
Date: Tue, 23 Oct 2018 14:35:37 +0200
Subject: 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
Reviewed-on: https://review.coreboot.org/29240
Tested-by: build bot (Jenkins)
Reviewed-by: Angel Pons
Reviewed-by: Paul Menzel
Reviewed-by: Stefan Reinauer
---
util/docker/coreboot.org-status/board-status.html/foreword.html | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
(limited to 'util/docker')
diff --git a/util/docker/coreboot.org-status/board-status.html/foreword.html b/util/docker/coreboot.org-status/board-status.html/foreword.html
index 4d77c3f66e..b2d2822d9d 100644
--- a/util/docker/coreboot.org-status/board-status.html/foreword.html
+++ b/util/docker/coreboot.org-status/board-status.html/foreword.html
@@ -18,7 +18,11 @@ devices are well-tested. We have
a tool in the coreboot repository
to make contributing easy. The data resides in the
board status repository.
-Contributing requires an account on review.coreboot.org
+Contributing requires an account on review.coreboot.org. After
+logging into the site with your preferred OpenID or GitHub/Google
+credentials, you can get a user name and password for git pushes on gerrit's
+settings screen.
Sometimes the same board is sold under different names, we've tried to
list all known names but some names might be missing.
--
cgit v1.2.3