Skip to content

Rename primary branch to 'main' + setup CI#153

Merged
rhusar merged 2 commits intojgroups-extras:mainfrom
rhusar:main-rename
May 18, 2022
Merged

Rename primary branch to 'main' + setup CI#153
rhusar merged 2 commits intojgroups-extras:mainfrom
rhusar:main-rename

Commits

Commits on May 18, 2022