Change in ...coreboot[master]: Documentation/lessons/lesson2.md: fix the git push command

[Marshall Dawson (Code Review)]

Marshall Dawson has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/30054 )

Change subject: Documentation/lessons/lesson2.md: fix the git push command
......................................................................

Patch Set 4:

(2 comments)

https://review.coreboot.org/#/c/30054/4//COMMIT_MSG 
Commit Message:

https://review.coreboot.org/#/c/30054/4//COMMIT_MSG@13 
PS4, Line 13: Signed-off-by: Michael Bacarella 
You can delete this one.

https://review.coreboot.org/#/c/30054/4/Documentation/lessons/lesson2.md 
File Documentation/lessons/lesson2.md:

https://review.coreboot.org/#/c/30054/4/Documentation/lessons/lesson2.md@146 
PS4, Line 146: git push origin HEAD:refs/for/master'
Does make gitconfig (in Part 3 above) not still run "git config remote.origin.push HEAD:refs/for/master"?  I don't see why this is necessary.