last maintainer comment removed

(not useful most of the time)
show if a pull request has received a PRE-OK