Skip to content

[IMP] runbot: add a timeout on git fetch commands#1415

Draft
d-fence wants to merge 1 commit into
19.0from
19.0-fetch-timeout-moc
Draft

[IMP] runbot: add a timeout on git fetch commands#1415
d-fence wants to merge 1 commit into
19.0from
19.0-fetch-timeout-moc

Conversation

@d-fence
Copy link
Copy Markdown
Contributor

@d-fence d-fence commented May 27, 2026

An unsuccessful attempt was made to mitigate the GitHub fetch time issue by using HTTPS instead of SSH. With this commit, a timeout is added on the fetch command to avoid blocking situations.

An unsuccessful attempt was made to mitigate the GitHub fetch time issue
by using HTTPS instead of SSH. With this commit, a timeout is added on
the fetch command to avoid blocking situations.
@d-fence d-fence force-pushed the 19.0-fetch-timeout-moc branch from 563eeab to 10901eb Compare May 27, 2026 09:06
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.

1 participant