Reynir Björnsson reynir · he/him/his
0 followers · 4 following
  • Joined on 2024-08-21
Repositories
1
 Projects Packages Public activity Starred repositories
1
reynir opened issue robur/blog.robur.coop#10 2024-10-22 09:34:43 +00:00
Duplicate RSS feed entries
reynir approved robur/blog.robur.coop#8 2024-10-22 09:24:04 +00:00
add arguments article
reynir commented on issue robur/opam-mirror#11 2024-10-21 08:41:32 +00:00
reproducible tarball index.tar.gz? same as on opam.ocaml.org?

I downloaded https://opam.ocaml.org/index.tar.gz and I found all timestamps were the same except for repo:

$ tar -tvf index.tar.gz
reynir commented on issue robur/opam-mirror#10 2024-10-21 08:24:28 +00:00
file size and parallel downloads

Yes, I have had in my mind it could be interesting to have temporary dumps to block devices. Since there may be several tasks that want to access this swap-like partition I think we would need to…

reynir commented on issue robur/opam-mirror#12 2024-10-19 09:27:59 +00:00
Assertion failed

An initial hypothesis after briefly looking at the http-mirage-client is it might happen if EOF is immediately read. I'm not sure about that.

reynir opened issue robur/opam-mirror#12 2024-10-19 09:21:54 +00:00
Assertion failed
reynir pushed to main at robur/opam-mirror 2024-10-18 08:43:27 +00:00
8af9f04dd0 Hex-encode computed checksum in log message
reynir pushed to main at robur/opam-mirror 2024-10-18 08:26:56 +00:00
5accfcfc08 More informative log message
reynir pushed to main at robur/opam-mirror 2024-10-17 16:12:33 +00:00
625081abff Merge pull request 'Improve logging of bad checksums' (#7) from log-bad-checksum into main
5938a60289 Improve logging of bad checksums
Compare 2 commits »
reynir deleted branch log-bad-checksum from robur/opam-mirror 2024-10-17 16:12:33 +00:00
reynir merged pull request robur/opam-mirror#7 2024-10-17 16:12:32 +00:00
Improve logging of bad checksums
reynir pushed to main at robur/opam-mirror 2024-10-17 16:12:12 +00:00
1016c54ee7 Merge pull request 'Demote log level for unavailable packages' (#6) from demote-unavailable into main
7a71e095da Demote log level for unavailable packages
Compare 2 commits »
reynir deleted branch demote-unavailable from robur/opam-mirror 2024-10-17 16:12:12 +00:00
reynir merged pull request robur/opam-mirror#6 2024-10-17 16:12:10 +00:00
Demote log level for unavailable packages
reynir created pull request robur/opam-mirror#7 2024-10-17 15:26:44 +00:00
Improve logging of bad checksums
reynir created branch log-bad-checksum in robur/opam-mirror 2024-10-17 15:26:35 +00:00
reynir pushed to log-bad-checksum at robur/opam-mirror 2024-10-17 15:26:35 +00:00
5938a60289 Improve logging of bad checksums
reynir created pull request robur/opam-mirror#6 2024-10-17 15:19:38 +00:00
Demote log level for unavailable packages
reynir created branch demote-unavailable in robur/opam-mirror 2024-10-17 15:19:29 +00:00
reynir pushed to demote-unavailable at robur/opam-mirror 2024-10-17 15:19:29 +00:00
7a71e095da Demote log level for unavailable packages