In D46059#1052323, @jrm wrote:

Should add portmgr as a reviewer? There may be a server-side git hook to ensure commits under Mk/ are approved by them.

Why not, please do.

We probably need a message on each list asking to keep it in sync with the two other.

Anyone else, any objections?

In D46059#1053621, @michaelo wrote:

Anyone else, any objections?

As I said, we need a message at each location saying "update the two other locations", please add it.

Something like this

In D46059#1053623, @mat wrote:

Something like this

I see what you are after now, thanks.

Issues addressed.