Update notes for submitted changes

* Replace : with / if git URL is like user@example.com:repo so that basename works properly afterwards