(In reply to comment #0)

Recently the repo DonationEmailUnsubscribe appears to have been deleted. The
repo FundraisingEmailUnsubscribe appears to have been moved from wikimedia to
mediawiki, without updating the permissions on the repo, and without updating
.gitreview.

Permissions didn't need updating, nor did the parent. It was copied incorrectly (mea culpa).

As to the actual bug: what sort of notification are you looking at having? We could probably pretty easily make some public log of repo creations and deletions.

The moving instance was a special case, and has happened like once, ever.

Once actual moving support goes in upstream, one would assume we could log that too.

(In reply to comment #1)

what sort of notification are you looking at having? We
could probably pretty easily make some public log of repo creations and
deletions.

Anything but the current silence in a discoverable location.

(In reply to Chad H. from comment #1)

Once actual moving support goes in upstream, one would assume we could log
that too.

So this is blocked on upstream? Any ticket URL to follow there?

I assume upstream is https://code.google.com/p/gerrit/issues/detail?id=560

This project is selected for the Developer-Wishlist voting round and will be added to a MediaWiki page very soon. To the subscribers, or proposer of this task: please help modify the task description: add a brief summary (10-12 lines) of the problem that this proposal raises, topics discussed in the comments, and a proposed solution (if there is any yet). Remember to add a header with a title "Description," to your content. Please do so before February 5th, 12:00 pm UTC.

And creations?