This is an automated email from the git hooks/post-receive script. richard pushed a change to branch master in repository builders/rbm. was 8ed3aa1 Bug 40010: Add git_branch option The revisions that were on this branch are still contained in other references; therefore, this change does not discard any commits from the repository. -- To stop receiving notification emails like this one, please contact the administrator of this repository.