was be02efee61062eb6487675351dc8c1446b7a7ce9 ----------------------------------------------------------------------- be02efee61062eb6487675351dc8c1446b7a7ce9 12627: Use first reader_token as primary token, if no primary given. ----------------------------------------------------------------------- hooks/post-receive --