Wikidiff2/Release process

This page documents the release process for the wikidiff2 PHP extension.

Prerequisites

 * To tag and create a new wikidiff2 version a PGP Key is needed.
 * The user uploading the release needs production shell access and must be part of the "releasers-wikidiff2" group

Release

 * Decide what the next version is going to be, according to semantic versioning. Update  accordingly.
 * Create a GPG signed git tag, and push it
 * Generate a tarball, and GPG sign it. The following script should do it and name it properly:
 * Upload the tarball and signature to https://releases.wikimedia.org/wikidiff2/ (check releases.wikimedia.org for the internal name of the current server)