diff options
author | Michael Bacarella <michael.bacarella@gmail.com> | 2018-12-05 12:37:30 -0800 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2018-12-19 10:29:47 +0000 |
commit | ab5890d498c095da0d2047adfc68fc0f04ed4fbd (patch) | |
tree | 959c65301680a2026e18013556a73057b6f9655a /configs | |
parent | 54e80cec9f775073a83214ef9e0ac5976ead3be5 (diff) |
Documentation/lessons/lesson2.md: clarify running make gitconfig
It's easy to misinterpret or miss altogether the instruction to
run 'make gitconfig', which will cause strange problems a few
commands later. Revise the documentation to make it clearer.
Also adds a blurb further down with a link to find Gerrit
workflow docs.
detached from FETCH_HEAD
Signed-off-by: Michael Bacarella <michael.bacarella@gmail.com>
Change-Id: I49734c724c4d6da716a358cd849938ef14dab3b1
Reviewed-on: https://review.coreboot.org/c/30060
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'configs')
0 files changed, 0 insertions, 0 deletions