Update notes for submitted changes

* Make pull-tools avoid offering to merge