Update notes for submitted changes

* repo.bash: replace with better version