<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">

</head>

<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">

FWIW it seems issue creation in <a href="https://gitlab.com/petsc/petsc/-/issues" class="">https://gitlab.com/petsc/petsc/-/issues</a> is back for now.

<div class=""><br class="">

</div>

<div class="">As per <a href="https://gitlab.com/gitlab-org/gitlab/-/issues/244820#note_406800762" class="">https://gitlab.com/gitlab-org/gitlab/-/issues/244820#note_406800762</a>, it was probably fixed by GitLab MR <a href="https://gitlab.com/gitlab-org/gitlab/-/merge_requests/41313" class="">https://gitlab.com/gitlab-org/gitlab/-/merge_requests/41313</a> which

 got merged a few hours before the new PETSc issue <a href="https://gitlab.com/petsc/petsc/-/issues/717" class="">

https://gitlab.com/petsc/petsc/-/issues/717</a> was successfully created, the first issue after 2+ weeks.</div>

<div class="">

<div class=""><br class="">

</div>

<div class="">Vaclav</div>

</div>

</body>

</html>