Extension:MirrorTools/Tasks


 * ✅ pushbot -- handle mirrornorcedit
 * pullbot -- get the redirect ID (it now should be easy to find the comment2)