[05:15:10] <Erutuon>	 1qThe Wiktionary search bar seems to also include search results with any vowel diacritics for Arabic script, e.g. when I type کھسن and enter, it goes to [[کھَسُن]]. This doesn't seem to happen in other wikis, can I know how this is done?
[05:17:04] <Erutuon>	 sorry, that question was from someone on Discord, and it busted my IRC client so I had to post and quit...
[05:17:50] <Erutuon>	 I looked at settings.txt for CirrusSearch and found the $wgCirrusSearchUseIcuFolding setting; perhaps that's related?
[06:07:44] <Izno>	 Erutuon, yes, most likely
[17:59:59] <Huji>	 Hi all, I have difficulty cherry picking  a patch to a release branch, is anyone able to assist?
[18:00:10] <taavi>	 hey huji
[18:01:00] <Huji>	 The patch on master has been merged at https://gerrit.wikimedia.org/r/c/mediawiki/extensions/SecurePoll/+/755432
[18:01:34] <taavi>	 yes?
[18:01:48] <Huji>	 I did: git checkout master; git pull; git checkout REL1_35; git pull; git cherry-pick 93758c
[18:02:12] <Huji>	 This lead to a merge conflict; I resolve it, then did git add <filename> and git cherry-pick --continue
[18:02:22] <Huji>	 At this point, I did git review, but got an error
[18:02:29] <Huji>	 "Remote rejected"
[18:02:33] <Huji>	 What am I missing?
[18:02:54] <taavi>	 can you paste the full git error message?
[18:05:42] <Huji>	 https://pastebin.com/H3gMLyQR
[18:06:38] <taavi>	 hmm, interesting - usually it tells you why it was rejected :/
[18:06:50] <taavi>	 maybe it doesn't like that you're re=
[18:07:02] <taavi>	 re-using the same Change-Id on multiple branches or something
[18:08:22] <Huji>	 it is not the same change id tho
[18:08:37] <Huji>	 git log on REL1_35 branch shows me   a new ID for it
[18:09:20] <Lucas_WMDE>	 I thought it was supposed to be the same change ID
[18:09:46] <Lucas_WMDE>	 which branch was it trying to push to?
[18:09:58] <Lucas_WMDE>	 try `git push gerrit @:refs/for/REL1_35` maybe
[18:10:07] <Lucas_WMDE>	 oh wait it’s in line 7 of the paste, nevermind
[18:10:36] <Huji>	 oh wait
[18:10:39] <Lucas_WMDE>	 I think you need to either unabandon https://gerrit.wikimedia.org/r/c/mediawiki/extensions/SecurePoll/+/755407 or use a different Change-Id, since this Change-Id already exists on REL1_35
[18:10:51] <Huji>	 the commit message still referenced old change id
[18:10:52] <Lucas_WMDE>	 (unabandoning would make sense IMHO)
[18:11:05] <Huji>	 removing it fixed it
[18:11:29] <Huji>	 https://gerrit.wikimedia.org/r/c/mediawiki/extensions/SecurePoll/+/755454
[18:11:32] <Huji>	 success
[18:11:39] <Huji>	 thanks taavi
[18:11:55] <Huji>	 I'll update wikitechwiki