Changes in release.php

9425586fc5258f41619fb2d72ba7423c75cb8074 - release script: update default repository

Mon, 27 Feb 2023 12:16:03 +0000

release script: update default repository List of files: /dokuwiki/.github/release.php

6ec4b074464648adafe951332c788a8da1a1eb83 - release script: remove debugging artefact

Mon, 27 Feb 2023 12:15:33 +0000

release script: remove debugging artefact List of files: /dokuwiki/.github/release.php

017f2aa27bddfec183008cd45bcabe32599bc2c3 - release script: streamline type list

Mon, 27 Feb 2023 12:15:10 +0000

release script: streamline type list List of files: /dokuwiki/.github/release.php

290ea73da0bf2b8df7bddcb78a7c73c52929c96c - Automate the release workflow using GitHub actions

Thu, 23 Feb 2023 14:03:01 +0000

Automate the release workflow using GitHub actionsThis introduces a two-part release mechanism. A manually triggeredworkflow asks for the important info like type of release (stable, rc)and code name. It then creates a cleanly mergable pull request.When that pull request is merged, a release is automatically tagged,built and uploaded.Another workflow is introduced to keep track of the deleted.files info.This is one less chore to do on a release.A new scheme for tags is also introduced, making all tags sortable,regardless of their type. They follow the patternrelease-YYYY-MM-DD(|rc)A script will be used to clean-up the existing tags. List of files: /dokuwiki/.github/release.php