Skip to content
GitLab
Explore
Sign in
Register
Extract release script
Code
Review changes
Check out branch
Download
Patches
Plain diff
Thomas
requested to merge
extract-release-script
into
mainline
Apr 04, 2021
Overview
0
Commits
3
Pipelines
3
Changes
2
Expand
Move the release.py script in a dedicated repository to be able to use it in other projects.
Merge request reports