The branch 'meissner/heads/work267-sha' was updated to point to:
f409f6b640ed... Merge commit 'refs/users/meissner/heads/work267-sha' of git
It previously pointed to:
4d1d156d4a93... Add ChangeLog.sha and update REVISION.
Diff:
Summary of changes (added commits):
-----------------------------------
f409f6b... Merge commit 'refs/users/meissner/heads/work267-sha' of git
6c406fc... Add ChangeLog.sha and update REVISION.
c778bd0... Add -mdebug=extra1 through -mdebug=extra5 (*)
(*) This commit already exists in another branch.
Because the reference `refs/users/meissner/heads/work267-sha' matches
your hooks.email-new-commits-only configuration,
no separate email is sent for this commit.
