Skip to content

Release v1.4.1

Compare
Choose a tag to compare
@github-actions github-actions released this 30 Jun 08:45
Use existing branch names

Branches on repositories are named with an initial r.

Prior to https://github.com/omniosorg/omni/pull/17 the value of $branch
got set to a contain an r through `uname -v | cut -d- -f2`, resulting in
correct names. The commit in PR-17 changes $branch to instead be all
numerical, which presumably must have been a mistake since that is not
how they actually are named.