Merge "[cleanup] drop unused use_hard_category_redirects" #1922

Job	Run time
build (pypy3.7, wikipedia:en, true)	31m 17s
build (pypy3.7, wikisource:zh, true)	28m 45s
build (3.7, wikipedia:en, true)	23m 49s
build (3.7, wikisource:zh, true)	19m 9s
build (3.8, wikipedia:en, true)	20m 40s
build (3.8, wikisource:zh, true)	22m 39s
build (3.9, wikipedia:en, true)	25m 21s
build (3.9, wikisource:zh, true)	20m 4s
build (3.10, wikipedia:en, true)	20m 41s
build (3.10, wikisource:zh, true)	20m 0s
build (3.11, wikipedia:en, true)	19m 0s
build (3.11, wikisource:zh, true)	17m 9s
build (3.7, wikipedia:test)	17m 23s
build (3.6, false, wpbeta, en, ubuntu-20.04)	22m 28s
build (3.6, false, wpbeta, zh, ubuntu-20.04)	20m 44s
build (3.8, wsbeta:en)	21m 31s
build (3.7, wikidata:test)	24m 12s
build (3.9, wiktionary:ar, true)	20m 17s
build (3.6, wikidata:wikidata, ubuntu-20.04)	19m 22s
build (3.8, wowwiki:uk)	16m 29s
build (3, wikipedia:de, macOS-latest)	28m 22s
build (3.6, wikipedia:en, true, ubuntu-20.04)	18m 56s
build (3.6, wikisource:zh, true, ubuntu-20.04)	19m 9s
build (3.12, wikipedia:en, true, true)	26m 6s
build (3.12, wikisource:zh, true, true)	21m 36s
build (3.13-dev, wikipedia:test, true)	22m 56s
	9h 28m 5s

Provide feedback