release.pl: fetch the release branch

dolmen · dolmen · commit 17c1e5cc6bfc · 2025-06-20T17:06:58.000+02:00
Fetch the release branch, as it is not available locally when running on
CI.
diff --git a/release.pl b/release.pl
@@ -11,10 +11,12 @@
 
 my $DRY_RUN;
 my $SKIP_TESTS;
+my $REPOSITORY = 'origin';
 
 GetOptions(
     'n|dry-run|just-print' => \$DRY_RUN,
     'T|skip-tests' => \$SKIP_TESTS,
+    'repository' => \$REPOSITORY,
 )
     or die "usage: $0 [-n]\n";
 
@@ -182,7 +184,9 @@ ($;@)
     }
 }
 
-
+# Fetch the release branch. This is needed on CI
+# where only the current branch is available.
+git fetch => $REPOSITORY, 'release';
 
 my @new_files = (
     'github-keygen',

Original file line number	Diff line number	Diff line change
`@@ -11,10 +11,12 @@`
`11`	`11`
`12`	`12`	`my $DRY_RUN;`
`13`	`13`	`my $SKIP_TESTS;`
	`14`	`+my $REPOSITORY = 'origin';`
`14`	`15`
`15`	`16`	`GetOptions(`
`16`	`17`	`'n\|dry-run\|just-print' => \$DRY_RUN,`
`17`	`18`	`'T\|skip-tests' => \$SKIP_TESTS,`
	`19`	`+ 'repository' => \$REPOSITORY,`
`18`	`20`	`)`
`19`	`21`	`or die "usage: $0 [-n]\n";`
`20`	`22`
`@@ -182,7 +184,9 @@ ($;@)`
`182`	`184`	`}`
`183`	`185`	`}`
`184`	`186`
`185`		`-`
	`187`	`+# Fetch the release branch. This is needed on CI`
	`188`	`+# where only the current branch is available.`
	`189`	`+git fetch => $REPOSITORY, 'release';`
`186`	`190`
`187`	`191`	`my @new_files = (`
`188`	`192`	`'github-keygen',`