Thread:MarvelDCandFantasyFanBoy12/@comment-37950665-20191027025703

This would make resolving double redirects a lot simpler: bots aren't subject to the rate limitations ordinary editors are subject.

Long and short of it: there's a button at the top of the double redirects page you can hit - thats automated. 