Change Details

**Reason**: PushToWatch was marked as archived on mediawiki.org, however the steps to archive the extension were not followed. - [x] Archive documentation on `mediawiki.org`. - [ ] Remove from `mediawiki/extensions`. - [ ] Remove tests in `integration/config`. - [ ] Remove from `translatewiki`. - [ ] Archive the extension's diffusion repository. - [ ] Mark the repository read-only in Gerrit. - [ ] Delete the GitHub mirror.

**Reason**: PushToWatch was marked as archived on mediawiki.org, however the steps to archive the extension were not followed. - [x] Archive documentation on `mediawiki.org`. - [x] Remove from `mediawiki/extensions`. - [ ] Remove tests in `integration/config`. - [ ] Remove from `translatewiki`. - [ ] Archive the extension's diffusion repository. - [ ] Mark the repository read-only in Gerrit. - [ ] Delete the GitHub mirror.

**Reason**: PushToWatch was marked as archived on mediawiki.org, however the steps to archive the extension were not followed. - [x] Archive documentation on `mediawiki.org`. - [ - [x] Remove from `mediawiki/extensions`. - [ ] Remove tests in `integration/config`. - [ ] Remove from `translatewiki`. - [ ] Archive the extension's diffusion repository. - [ ] Mark the repository read-only in Gerrit. - [ ] Delete the GitHub mirror.