From 029d9998cd9e951b8204d7a7a906db8863c01dc3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@telecom-paris.fr>
Date: Tue, 13 Jun 2023 16:59:16 +0200
Subject: [PATCH] Add detection of common connectivity problem on Inria GitLab.

---
 src/actions.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/actions.ml b/src/actions.ml
index e2c0bfd1..fa12ed67 100644
--- a/src/actions.ml
+++ b/src/actions.ml
@@ -542,6 +542,7 @@ let trace_action ~repo_full_name trace =
        || test "fatal: unable to access .* Couldn't connect to server"
        || test "fatal: unable to access .* Could not resolve host"
        || test "Resolving .* failed: Temporary failure in name resolution"
+       || test "ERROR: unexpected status code [manifests latest]: 401 Unauthorized"
      then Retry "Connectivity issue"
      else if test "fatal: reference is not a tree" then
        Ignore "Normal failure: pull request was force-pushed."