repocommit: Be more verbose for mediawiki-extensions

Makes it easier to find corrupted git repos

Change-Id: If143895eefb59734ffa00e223a50fdfe543cd5e4
Merge "repocommit: Be more verbose for mediawiki-extensions"