Skip to content

Commit 5dee40b

Browse files
committed
chore: delete release branch if exists
If it exists, the git command failed, and the current branch is not changed.
1 parent 3503b4d commit 5dee40b

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

admin/prepare-release.php

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,7 @@ function replace_file_content(string $path, string $pattern, string $replace): v
2626

2727
// Creates a branch for release.
2828
system('git switch develop');
29+
system('git branch -D release-' . $version);
2930
system('git switch -c release-' . $version);
3031

3132
// Updates version number in "CodeIgniter.php".

0 commit comments

Comments
 (0)