User:F.trott/Release procedure for extensions

Using Lingo v0.4.2 as an example


 * Ensure that the code reflects the new version, e.g. in comments, constants and extension credits
 * Ensure that the last version is merged on the server
 * Go to the extensions directory, e.g.
 * Tag the extension with the new release id (using the specified gpg key for signature):
 * Push the tag:
 * Update the extensions wiki page with new version number, release date, download links
 * Update the version history if necessary
 * Announce the new version