FWIW it seems issue creation in https://gitlab.com/petsc/petsc/-/issues is back for now.
As per https://gitlab.com/gitlab-org/gitlab/-/issues/244820#note_406800762, it was probably fixed by GitLab MR https://gitlab.com/gitlab-org/gitlab/-/merge_requests/41313 which got merged a few hours before the new PETSc issue https://gitlab.com/petsc/petsc/-/issues/717 was successfully created, the first issue after 2+ weeks. Vaclav
