The Wikimedia #together is in the process of cleaning up inactive Gerrit repositories.
If the repository `operations/software/hhvm-dev.git` is **still in use**, please leave a short comment in this task and set the task status to Invalid.
Otherwise the Gerrit repository may get archived in the future.
If the repository is **not in use** anymore, you are also welcome to leave a short comment to confirm.
According to https://gerrit.wikimedia.org/r/plugins/gitiles/operations/software/hhvm-dev/third-party.git/+log/refs/heads/master
the **last commit** to the //master// branch of this repository was on:
**20140629** (YYYYMMDD).
According to https://gerrit.wikimedia.org/r/plugins/gitiles/operations/software/hhvm-dev.git/+log/refs/heads/master
the **last commit** to the //master// branch of this repository was on:
**20140828** (YYYYMMDD).
According to https://gerrit.wikimedia.org/r/plugins/gitiles/operations/software/hhvm-dev/folly.git/+log/refs/heads/master
the **last commit** to the //master// branch of this repository was on:
**20141017** (YYYYMMDD).
**To-do list**
- This task
-- [ ] Add maintainers of that extension/skin as subscribers to this task (if they have no apparent Phabricator account, notify them on-wiki or via email if possible and note it here).
-- [x] Add Phabricator project <#ProjectX> as a tag to this task (if existing).
- Repositories
-- [ ] Empty repository, leaving only the README indicating the repo is archived, and referring to this task by URL.
-- [ ] Set the repository state to read-only in Gerrit (also edit description to prepend "[ARCHIVED]" and a reference to this task): https://gerrit.wikimedia.org/r/admin/repos/operations/software/hhvm-dev/third-party,general , https://gerrit.wikimedia.org/r/admin/repos/operations/software/hhvm-dev/folly,general , https://gerrit.wikimedia.org/r/admin/repos/operations/software/hhvm-dev,general
-- [x] Potentially abandon open Gerrit patchsets: N/A
-- [ ] Deactivate the Diffusion repository: rOSHT, rOSHD, rOSHF
-- [x] Delete the GitHub mirror: N/A