This repository has been archived by the owner on Aug 15, 2024. It is now read-only.

Run update twice #124

Open

ineiti opened this issue Mar 18, 2024 · 0 comments

Assignees

Member

ineiti commented Mar 18, 2024

Sometimes the update fails because some of the servers are down.

Easy fix: run it a second time if it fails.

ineiti added this to Engineer's TODO

github-project-automation bot moved this to Backlog in Engineer's TODO

ineiti assigned PascalinDe

ineiti moved this from Backlog to To do in Engineer's TODO

PascalinDe moved this from To do to Backlog in Engineer's TODO

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.