>>571
ありがとう。git tag が用途に合いそう。不幸にして 0.5.0-20240507 なんてのが出て来たらまた考える。