Static archive.
pagure.io was sunset in 2026; this is a read-only snapshot.
freshmaker
Source
Issues
36
Pull Requests
498
Forks
20
Releases
14
#415
Retry when fetching files from dist-git
Merged
Aug 5, 2019
by
jkaluza.
Opened
Aug 2, 2019
by yashn.
retry_git_operation
into
master
Download 415.patch
no initial comment
jkaluza
commented
Aug 5, 2019
Commit
194edef8
fixes this pull-request
Pull-Request has been merged by jkaluza
Aug 5, 2019
Pull-Request has been merged by jkaluza
Aug 5, 2019
Metadata
Assignee
None
Tags
No Tags