board_status: Use explicit branch name in "git push"