open-MaStR
open-MaStR copied to clipboard
Delete github pages environment
Since we have no docs deployed there, we could delete this environment.