Skip to content

[pull] master from josegonzalez:master#87

Merged
pull[bot] merged 3 commits intodumpmemory:masterfrom
josegonzalez:master
Dec 16, 2025
Merged

[pull] master from josegonzalez:master#87
pull[bot] merged 3 commits intodumpmemory:masterfrom
josegonzalez:master

Conversation

@pull
Copy link

@pull pull bot commented Dec 16, 2025

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

Iamrodos and others added 3 commits December 16, 2025 21:55
Refactors error handling to retry all 5xx errors (not just 502), network errors (URLError, socket.error, IncompleteRead), and JSON parse errors with exponential backoff and jitter. Respects retry-after and rate limit headers per GitHub API requirements. Consolidates retry logic into make_request_with_retry() wrapper and adds clear logging for retry attempts and failures. Removes dead code from 2016 (errors list, _request_http_error, _request_url_error) that was intentionally disabled in commit 1e5a904 to fix #29.

Fixes #140, #110, #138
Fix retry logic for HTTP 5xx errors and network failures
@pull pull bot locked and limited conversation to collaborators Dec 16, 2025
@pull pull bot added the ⤵️ pull label Dec 16, 2025
@pull pull bot merged commit c70cc43 into dumpmemory:master Dec 16, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants