Hannes Mehnert hannes

1 follower · 0 following

• Joined on 2024-08-21

Repositories

1

Projects Packages Public activity Starred repositories

hannes pushed to dnsvizor at robur/blog.robur.coop 2024-10-24 13:29:12 +00:00

4643347770 minor addition

hannes created pull request robur/opam-mirror#14 2024-10-24 13:04:08 +00:00

extra-source

hannes created branch extra-source in robur/opam-mirror 2024-10-24 13:03:49 +00:00

hannes pushed to extra-source at robur/opam-mirror 2024-10-24 13:03:49 +00:00

9bfde48f43 also handle extra-source, fixes #8

9a2576c423 extract the opam parsing function to a separate module (opam_file.ml / Opam_file)

Compare 2 commits »

hannes pushed to dnsvizor at robur/blog.robur.coop 2024-10-24 11:06:19 +00:00

6ee1282392 minor edits

hannes created pull request robur/blog.robur.coop#16 2024-10-24 10:52:54 +00:00

dnsvizor, first article

hannes created branch dnsvizor in robur/blog.robur.coop 2024-10-24 10:52:38 +00:00

hannes pushed to dnsvizor at robur/blog.robur.coop 2024-10-24 10:52:38 +00:00

52d6ce6b67 dnsvizor, first article

hannes opened issue robur/blog.robur.coop#15 2024-10-24 09:36:16 +00:00

feed feature request: include the complete article

hannes created branch main in robur/robur.coop 2024-10-24 08:32:24 +00:00

hannes pushed to main at robur/robur.coop 2024-10-24 08:32:24 +00:00

644a906945 move link to cct around

56a38b63b2 remove unused images

be40df4abc minor nit for cct name

0f530dfbba add link to retreat website

24decfd955 minor fixes

Compare 10 commits »

hannes created repository robur/robur.coop 2024-10-24 08:31:51 +00:00

hannes commented on issue robur/blog.robur.coop#13 2024-10-24 08:31:05 +00:00

yocaml2 migration: why do we still have a tags subdirectory?

we can just delete it manually from gh-pages ;)

hannes pushed to gh-pages at robur/blog.robur.coop 2024-10-22 10:26:13 +00:00

36a581e53e Pushed by YOCaml 2

hannes pushed to main at robur/blog.robur.coop 2024-10-22 10:25:43 +00:00

06b0b673c6 Merge pull request 'add arguments article' (#8) from add-arguments into main

db5e8fd9cb add arguments article

Compare 2 commits »

hannes deleted branch add-arguments from robur/blog.robur.coop 2024-10-22 10:25:43 +00:00

hannes merged pull request robur/blog.robur.coop#8 2024-10-22 10:25:41 +00:00

add arguments article

hannes commented on issue robur/blog.robur.coop#12 2024-10-22 09:50:25 +00:00

yocaml2 migration: we now have feed.xml, atom.xml, rss1.xml

what is advertised from the index.html is still feed.xml (with application/rss+xml) -- and neither atom.xml nor rss1.xml seems to have external links incoming -- they only link to themselves.

I…

hannes opened issue robur/blog.robur.coop#14 2024-10-22 09:47:07 +00:00

yocaml2: internal hyperlinks

hannes opened issue robur/blog.robur.coop#13 2024-10-22 09:45:13 +00:00

yocaml2 migration: why do we still have a tags subdirectory?