The plwikisource community decided in this discussion:
https://pl.wikisource.org/w/index.php?oldid=2145868#Zwi%C4%99kszenie_uprawnie%C5%84_redaktor%C3%B3w
that we wish grant the right to rename pages without leaving a redirect (the suppressredirect right; 8 users supported, one commented only, nobody opposed) to the editotors user group.
Editors are relatively advanced wiki users who have appropriate knowledge about project rules and wiki technology. And most pages renamed by them are simple typos or mistakes, when no redirect is needed.
Description
Details
Related Objects
Event Timeline
Change 481513 had a related patch set uploaded (by Tulsi Bhagat; owner: Tulsi Bhagat):
[operations/mediawiki-config@master] Add 'suppressredirect' user right to editor user group at pl.wikisource
@Tulsi_Bhagat Thanks for the patch. And please note, that there is another pending config change in this file region:
https://gerrit.wikimedia.org/r/481107
(from T212478) that may cause merge conflicts.
Change 481513 merged by jenkins-bot:
[operations/mediawiki-config@master] Add 'suppressredirect' user right to editor user group at pl.wikisource
Mentioned in SAL (#wikimedia-operations) [2019-01-07T12:15:51Z] <zfilipin@deploy1001> Synchronized wmf-config/InitialiseSettings.php: SWAT: [[gerrit:481513|Add suppressredirect user right to editor user group at pl.wikisource (T212655)]] (duration: 00m 44s)