| commit | 478c889847d863bb0813539810daaf0bdfc8c04b | |
| author | Jonathan Neuschäfer <j.neuschaefer@gmx.net> | |
| Tue, 10 May 2016 15:43:53 +0000 (10 17:43 +0200) | ||
| committer | Martin Roth <martinroth@google.com> | |
| Fri, 13 May 2016 15:29:35 +0000 (13 17:29 +0200) | ||
| tree | af71689224c4a1c7b832fb7fe4847e1f3d77ab80 | treesnapshot (tar.gz zip) |
| parent | fc6a9f2c203772add5075fd0a2fa32005624dce8 | commitdiff |
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@gmx.net>
Reviewed-on: https://review.coreboot.org/14539
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: David Hendricks <dhendrix@chromium.org>
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@gmx.net>
Reviewed-on: https://review.coreboot.org/14539
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: David Hendricks <dhendrix@chromium.org>
| util/board_status/board_status.sh | diffblobblamehistory |