Wikipedia:Page mover/delete-redirect

Proposal
"By default, a move cannot be carried out if there is already a page at the target title, unless that existing page is a single revision redirect pointing to the title that is being moved to replace it. If that page is a single revision redirect with a different target, the right may be used to simplify the need for round-robin page moves by allowing page movers to delete the redirect, regardless of the redirect's target. This will generate a deletion log entry for the target page."
 * Grant  to page movers
 * Add the following text to Page mover:

Background
Currently pages can be moved by non-administrators in two cases. In the typical case, the target is a red link and the page is moved to the unoccupied title. In the second case, the target is a one-revision redirect which points back at the page to be moved. In December 2020 MediaWiki added the  user right which allows editors to move pages when the target is a one-revision redirect to any title.

Trusted editors with experience moving pages may be added to the page mover user group by any administrator. Among other abilities, page movers may override the title blacklist and move pages without leaving a redirect behind. Like other non-admin editors, page movers can currently only overwrite a one-revision page during a move if it is a redirect pointing at the to-be-moved page.

Example use cases

 * Move  to , where   already exists as a redirect to a related topic
 * Dealing with page move vandalism (if  is moved to   and then , with redirects left behind, this would allow page movers to move   directly back to  )