MediaWiki page move changes only source file, not destination file

[rohieb]

I have cloned a wiki with strategy by_rev and continually keep the clone updated. With today's git pull, One of the recent page renames is not imported correctly, and the according Git commit only changes the source page, but not the destination page. It could be due to the fact that the destination page already existed and MediaWiki moved "over redirect", overwriting the already existing destination page, which included only a redirect.

[anarcat]

note that we don't support renames from the git side either it seems, so this sounds like a known issue - see #2.