80192cb685
Merge pull request 'Delete useless pin-depends and use yocaml.2.0.1' (#17) from delete-pin-depends into main
But it doesn't seem to do what I though.
Yes, you must update the set function and add a t.head <- new_head:
Hmmhmm, I need to test the unikernel if I'm still able to synchronize the repo from a Git repository via SSH. As far as I understand, I should be able to do that.
How you can pass ssh-key and ssh-password then to the unikernel? I actually needs git_ssh for my usage.
As you wish, I don't have too many opinions on the subject.
I like the idea to keep them (and keep this date into our markdown files). We can think later about a process to generate tag HTML files.
It's a step backwards since our first version. We need to develop a way of regenerating tags according to articles with YOCaml 2 (and thus reproduce the same links). This is feasible but requires…
I wonder why such a change is needed.
It was mostly due to my organisation. My blog is actually deployed into https://dinosaure.github.io/blogger & https://blog.osau.re/. So I need to change…