[16:46:36] Amir1: Assuming one documentation comment is addressed (https://gerrit.wikimedia.org/r/c/mediawiki/core/+/1302993/comment/7c8cf718_0b2467aa/) I'll merge that patch. I left a few other comments too. I already chatted with Timo about it generally. [16:52:27] AaronSchulz: I'm afk for an hour. Wanna add that documentation and +2? [16:53:18] Amir1: ok. I'm always afraid to edit people's patches and merged them (unless they +1 the edit). I'll amend it now. [16:59:26] Amir1: it's amended now [17:25:15] Thanks! [17:29:04] It has my virtual +2 on the comment change. Can't +1 on the phone 😁 [18:07:44] ok [18:07:57] (I had a meeting for a bit) [18:58:01] Amir1: I assume PageEditStash is high on the list of intended targets [19:33:17] yeah, refreshlinks also has a lock somewhere IIRC [21:17:41] That one is in LinksUpdate yeah, esp from deferred update post-edit as well.