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."