4 Commits

Author SHA1 Message Date
kenjis
5dee40ba0f
chore: delete release branch if exists
If it exists, the git command failed, and the current branch is
not changed.
2024-03-29 14:06:15 +09:00
kenjis
1201e28ea2
chore: remove unnecessary command
It was added by mistake.
2024-02-24 12:46:03 +09:00
kenjis
7aa8a787b3
chore: add code to update version number in "phpdoc.dist.xml" 2023-12-24 13:45:26 +09:00
kenjis
567a4bea3b
chore: add scripts for release process 2023-10-27 10:03:17 +09:00