Page MenuHomePhabricator
Create Task
Maniphest T132130

Duplicate watchers on page history merge
Closed, ResolvedPublic
Actions

Description

A normal move of a wiki page duplicates all watchers of the source page to the target page. It would be useful to do the same on merge history.

Details

SubjectRepoBranchLines +/-
MergeHistory: Duplicate watchers on history mergemediawiki/coremaster+5 -0
Customize query in gerrit

Event Timeline

Fomafix created this task.Apr 8 2016, 5:59 AM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptApr 8 2016, 5:59 AM
Jenks24 subscribed.Nov 8 2017, 7:14 PM
gerritbot subscribed.Nov 25 2017, 5:35 PM

Change 393378 had a related patch set uploaded (by Fomafix; owner: Fomafix):
[mediawiki/core@master] MergeHistory: Duplicate watchers on history merge

https://gerrit.wikimedia.org/r/393378

gerritbot added a project: Patch-For-Review.Nov 25 2017, 5:35 PM
gerritbot added a comment.Dec 16 2017, 12:09 AM

Change 393378 merged by jenkins-bot:
[mediawiki/core@master] MergeHistory: Duplicate watchers on history merge

https://gerrit.wikimedia.org/r/393378

ReleaseTaggerBot added a project: MW-1.31-release-notes (WMF-deploy-2018-01-02 (1.31.0-wmf.15)).Dec 16 2017, 1:00 AM
MGChecker removed a project: Patch-For-Review.Oct 30 2018, 8:26 PM
Aklapper closed this task as Resolved.Aug 12 2019, 2:03 PM
Aklapper assigned this task to Fomafix.

Assuming this got resolved by the merged patch. Please reopen if not.

Aklapper added a project: MediaWiki-Page-history.Sep 20 2019, 7:44 PM
Content licensed under Creative Commons Attribution-ShareAlike (CC BY-SA) 4.0 unless otherwise noted; code licensed under GNU General Public License (GPL) 2.0 or later and other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL · Credits