[coreboot-gerrit] Patch merged into coreboot/master: board_status: Use explicit branch name in "git push"

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 478c889847d863bb0813539810daaf0bdfc8c04b
Author: Jonathan Neuschäfer <j.neuschaefer at gmx.net>
Date:   Tue May 10 17:43:53 2016 +0200

    board_status: Use explicit branch name in "git push"
    
    In some configurations, "git push <remote>" (without a branch name)
    refuses to do anything.
    
    Change-Id: I23a401b39dd851e9723676586c7f29afa111b49d
    Signed-off-by: Jonathan Neuschäfer <j.neuschaefer at gmx.net>
    Reviewed-on: https://review.coreboot.org/14539
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: David Hendricks <dhendrix at chromium.org>


See https://review.coreboot.org/14539 for details.

-gerrit