Plugin hosting on GitLab

I've just set up hosting of a new plugin on GitLab, and thought the recipe could be useful to other folks so was worth sharing.

1. Store the source code of your plugin with Git.
2. Grab my .gitlab-ci.yml and add it to your Git repository.
3. Add a file called extensions.xml, which will serve as a template for your new plugin repository. Edit it appropriately for your plugin, but don't touch any of the parts that start with a $.
4. Tag your latest release in Git with a version number and push it to GitLab.

Every time you push a tag, GitLab CI/CD will generate a zip file for your package and host it at https://<your-username>.gitlab.io/<your-projectname>/<your-projectname>-<version>.zip. It will also generate a repository XML file for configuring into LMS, and host that at https://<your-username>.gitlab.io/<your-projectname>/extensions.xml.