search

gap-system / PackageDistro

The GAP package distribution is managed via this repository
https://gap-system.github.io/PackageDistro/
GNU General Public License v2.0
4 stars 8 forks source link

Support slashes in branch names #877

Closed fingolfin closed 9 months ago

fingolfin commented 9 months ago

Testing at https://github.com/gap-system/PackageDistro/actions/runs/7604428542 ...