Skip to content

Retry on github auth failure#4767

Merged
rbren merged 6 commits intomainfrom
rb/github-issue
Nov 7, 2024
Merged

Retry on github auth failure#4767
rbren merged 6 commits intomainfrom
rb/github-issue

Conversation

@rbren
Copy link
Collaborator

@rbren rbren commented Nov 5, 2024

End-user friendly description of the problem this fixes or functionality that this introduces

  • Include this change in the Release Notes. If checked, you must provide an end-user friendly description for your change below
    no changelog

Give a summary of what the PR does, explaining any non-trivial design decisions

This retries when github authentication fails


Link of any specific issues this addresses


To run this PR locally, use the following command:

docker run -it --rm   -p 3000:3000   -v /var/run/docker.sock:/var/run/docker.sock   --add-host host.docker.internal:host-gateway   -e SANDBOX_RUNTIME_CONTAINER_IMAGE=docker.all-hands.dev/all-hands-ai/runtime:3c6cd8f-nikolaik   --name openhands-app-3c6cd8f   docker.all-hands.dev/all-hands-ai/openhands:3c6cd8f

@xingyaoww xingyaoww self-requested a review November 7, 2024 16:28
@rbren rbren marked this pull request as ready for review November 7, 2024 16:28
@rbren rbren enabled auto-merge (squash) November 7, 2024 16:35
@rbren rbren merged commit fa625fe into main Nov 7, 2024
@rbren rbren deleted the rb/github-issue branch November 7, 2024 16:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants