Hannes Mehnert hannes
1 follower · 0 following
  • Joined on 2024-08-21
Repositories
1
 Projects Packages Public activity Starred repositories
hannes opened issue robur/blog.robur.coop#12 2024-10-22 09:44:25 +00:00
yocaml2 migration: we now have feed.xml, atom.xml, rss1.xml
hannes opened issue robur/blog.robur.coop#9 2024-10-22 09:27:47 +00:00
regression: communication to ssh remote
hannes created pull request robur/blog.robur.coop#8 2024-10-21 14:16:22 +00:00
add arguments article
hannes created branch add-arguments in robur/blog.robur.coop 2024-10-21 14:15:49 +00:00
hannes pushed to add-arguments at robur/blog.robur.coop 2024-10-21 14:15:49 +00:00
db5e8fd9cb add arguments article
hannes commented on issue robur/blog.robur.coop#6 2024-10-21 11:59:42 +00:00
Add source commit ID in commit message when pushing

This would as well be nice to have 👍

hannes commented on issue robur/blog.robur.coop#3 2024-10-21 11:50:50 +00:00
YOCaml 2 is released and use the httpcats version

Is this something that we can do now? @dinosaure?

hannes commented on issue robur/blog.robur.coop#5 2024-10-21 11:50:30 +00:00
Template layout.html uses undefined dash

This would be neat if we can fix it :) @dinosaure?

hannes pushed to gh-pages at robur/blog.robur.coop 2024-10-21 11:44:38 +00:00
b0defe67bd Pushed by YOCaml 2
hannes pushed to main at robur/blog.robur.coop 2024-10-21 11:30:01 +00:00
9388e31171 README: minor fix
hannes deleted branch add-finances-article from robur/blog.robur.coop 2024-10-21 11:29:14 +00:00
hannes pushed to main at robur/blog.robur.coop 2024-10-21 11:29:09 +00:00
0b0c57de5c Merge pull request 'add-finances-article' (#7) from add-finances-article into main
f1c0e05e81 minor adjustments
8ced832149 minor
e1618b8c2c minor edit
a1dbffeb7f minor: clarify that tls 1.3 was a grant
Compare 11 commits »
hannes merged pull request robur/blog.robur.coop#7 2024-10-21 11:29:07 +00:00
add-finances-article
hannes pushed to add-finances-article at robur/blog.robur.coop 2024-10-21 11:28:43 +00:00
f1c0e05e81 minor adjustments
hannes pushed to main at robur/unikernel-repo 2024-10-21 11:10:46 +00:00
0688668a7a update dnsvizor from upstream
hannes commented on issue robur/opam-mirror#11 2024-10-21 09:03:20 +00:00
reproducible tarball index.tar.gz? same as on opam.ocaml.org?

I was as well looking a bit more into this issue. Thanks for your investigations.

There are some paths forward for opam:

hannes commented on issue robur/opam-mirror#10 2024-10-21 08:30:49 +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…

hannes commented on issue robur/opam-mirror#11 2024-10-20 21:03:38 +00:00
reproducible tarball index.tar.gz? same as on opam.ocaml.org?

The command used is actually in opam (make_index_tar_gz in opamHTTP,ml, used by opam admin):

  OpamFilename.in_dir repo_root (fun () ->
    let to_include = [ "version"; "packages";…
hannes commented on issue robur/opam-mirror#10 2024-10-20 20:57:36 +00:00
file size and parallel downloads

Turns out e.g. GitHub is very sporadic when it comes to content-length headers. And HEAD requests don't change a thing here. See https://github.com/orgs/community/discussions/76604 -- It may help…

hannes opened issue robur/opam-mirror#13 2024-10-20 20:28:30 +00:00
Take the mirror into account in url