was 8a33f7899da36343e687febb63678d90e83b7d63 ----------------------------------------------------------------------- 8a33f7899da36343e687febb63678d90e83b7d63 18339: Clarify consequences of delete-role bug. ----------------------------------------------------------------------- hooks/post-receive --