History log of /dokuwiki/.github/release.php (Results 1 – 4 of 4)
Revision Date Author Comments
# 9425586f 27-Feb-2023 Andreas Gohr <andi@splitbrain.org>

release script: update default repository


# 6ec4b074 27-Feb-2023 Andreas Gohr <andi@splitbrain.org>

release script: remove debugging artefact


# 017f2aa2 27-Feb-2023 Andreas Gohr <andi@splitbrain.org>

release script: streamline type list


# 290ea73d 23-Feb-2023 Andreas Gohr <andi@splitbrain.org>

Automate the release workflow using GitHub actions

This introduces a two-part release mechanism. A manually triggered
workflow asks for the important info like type of release (stable, rc)
and code

Automate the release workflow using GitHub actions

This introduces a two-part release mechanism. A manually triggered
workflow 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 pattern

release-YYYY-MM-DD(<hotfixletter>|rc)

A script will be used to clean-up the existing tags.

show more ...