Jul 2 2019
Thanks @jcrespo ! I have renamed the user without any issue.
Jun 4 2019
Sure thing! I will hold until you give the go.
Jun 3 2019
May 1 2019
Apr 19 2019
This is an example of the issue on zhwp.
Apr 16 2019
A three-way merge would be an interesting way to handle edit conflict. Git-like cherry-picking is also useful in repairing vandalized pages that could not be resolved by simple revert.
Apr 14 2019
The exception is still present on 1.33.0-wmf.25 (rMWfca075095a20). I go the error when blocking a user from Special:Block.