Hannes Mehnert hannes
1 follower · 0 following
  • Joined on 2024-08-21
Repositories
1
 Projects Packages Public activity Starred repositories
hannes closed issue robur/blog.robur.coop#14 2024-10-26 14:43:51 +00:00
yocaml2: internal hyperlinks
hannes merged pull request robur/blog.robur.coop#18 2024-10-26 14:43:50 +00:00
Remove usage of {{ host }} when our only target is https://blog.robur.coop
hannes commented on issue robur/blog.robur.coop#9 2024-10-26 14:43:34 +00:00
regression: communication to ssh remote

closing since this will be addressed upstream, thanks a lot for your work on it!

hannes closed issue robur/blog.robur.coop#9 2024-10-26 14:43:34 +00:00
regression: communication to ssh remote
hannes deleted branch delete-useless-feeds from robur/blog.robur.coop 2024-10-26 14:42:54 +00:00
hannes closed issue robur/blog.robur.coop#12 2024-10-26 14:42:51 +00:00
yocaml2 migration: we now have feed.xml, atom.xml, rss1.xml
hannes merged pull request robur/blog.robur.coop#19 2024-10-26 14:42:49 +00:00
Delete useless feed files (rss1 & atom), for compatibility reasons, keep rss2
hannes pushed to main at robur/blog.robur.coop 2024-10-26 14:42:49 +00:00
0153d20b89 Merge pull request 'Delete useless feed files (rss1 & atom), for compatibility reasons, keep rss2' (#19) from delete-useless-feeds into main
caec8c419c Delete useless feed files (rss1 & atom), for compatibility reasons, keep rss2
Compare 2 commits »
hannes pushed to main at robur/opam-mirror 2024-10-26 14:42:14 +00:00
826cc85b71 Merge pull request 'extra-source' (#14) from extra-source into main
9bfde48f43 also handle extra-source, fixes #8
9a2576c423 extract the opam parsing function to a separate module (opam_file.ml / Opam_file)
Compare 3 commits »
hannes deleted branch extra-source from robur/opam-mirror 2024-10-26 14:42:14 +00:00
hannes closed issue robur/opam-mirror#8 2024-10-26 14:42:13 +00:00
Process "extra-source" as well as URL
hannes merged pull request robur/opam-mirror#14 2024-10-26 14:42:12 +00:00
extra-source
hannes pushed to gh-pages at robur/blog.robur.coop 2024-10-25 10:04:19 +00:00
ef7d2a697c Pushed by YOCaml 2
hannes deleted branch dnsvizor from robur/blog.robur.coop 2024-10-25 10:03:46 +00:00
hannes merged pull request robur/blog.robur.coop#16 2024-10-25 10:03:43 +00:00
dnsvizor, first article
hannes pushed to main at robur/blog.robur.coop 2024-10-25 10:03:43 +00:00
f65105c31a Merge pull request 'dnsvizor, first article' (#16) from dnsvizor into main
6f77487c47 add a usages of dnsvizor, as suggested by @dinosaure
c85b9ad712 dnsvizor01.md: minor changes
4643347770 minor addition
6ee1282392 minor edits
Compare 6 commits »
hannes commented on pull request robur/git-kv#2 2024-10-25 09:55:19 +00:00
Refactor test/dune and add a failing test

The question now is which behaviour we strive for.... I guess the "read returns the newest (batched)" is reasonable from a perspective of caldav and refactorings. So, from the semantics I'd be…

hannes pushed to dnsvizor at robur/blog.robur.coop 2024-10-25 09:46:30 +00:00
6f77487c47 add a usages of dnsvizor, as suggested by @dinosaure
hannes commented on pull request robur/git-kv#1 2024-10-25 09:34:26 +00:00
Partially fix tests

for me, the proposed changes here look fine.

hannes commented on pull request robur/git-kv#1 2024-10-25 09:29:14 +00:00
Partially fix tests

could we remove the enabled_if entirely, and live with the situation that we need some conf-git-daemon for tests?