Tidy up GitHub release tags

This commit is contained in:
Steffen Lange 2020-05-01 15:10:56 +02:00
parent 81ec34b7f9
commit 2694df1973
2 changed files with 5 additions and 2 deletions

View file

@ -38,7 +38,10 @@ class PatchObject {
function getVersion() : string {
return $this->version;
}
function setVersion(string $version) {
function setVersion(string $version, bool $trim = false) {
if ($trim) {
$version = preg_replace('/^(release-|v)/', '', $version);
}
$this->version = $version;
}
function getURL() : string {