[Auto] Merge Status

[robin]

(These will be send nightly summarizing what's in the queue for
merging into git master.)

Robin