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.
Description
Description
Details
Details
Related Changes in Gerrit:
| Subject | Repo | Branch | Lines +/- | |
|---|---|---|---|---|
| MergeHistory: Duplicate watchers on history merge | mediawiki/core | master | +5 -0 |
Event Timeline
Comment Actions
Change 393378 had a related patch set uploaded (by Fomafix; owner: Fomafix):
[mediawiki/core@master] MergeHistory: Duplicate watchers on history merge
Comment Actions
Change 393378 merged by jenkins-bot:
[mediawiki/core@master] MergeHistory: Duplicate watchers on history merge