Select Git revision
-
Robin Sonnabend authored/close #186 This is the reason why the errors for #107 were not reported. Still, this does not fix pushing to MediaWiki, as the problem is on the wiki side.
Robin Sonnabend authored/close #186 This is the reason why the errors for #107 were not reported. Still, this does not fix pushing to MediaWiki, as the problem is on the wiki side.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.