Remove usage of {{ host }} when our only target is https://blog.robur.coop
Yes. With the changes the links to articles become e.g. <a href="//articles/gptar-update.html">GPTar (update)</a>
Add "GPTar update" article
Remove usage of {{ host }} when our only target is https://blog.robur.coop
Now bin/watch.exe
has broken links /o\
Add source commit ID in commit message when pushing
4a4c22e244
Merge pull request 'Generate the commit message with the actual commit of main' (#20) from with-nice-commit into main
dcbb5e0e05
Generate the commit message with the actual commit of main
Generate the commit message with the actual commit of main
Generate the commit message with the actual commit of main
And it even correctly reports dirty repository 2f5d02add4
Generate the commit message with the actual commit of main
Thanks, this seems to work great for me: a46df08b2c
Refactor test/dune and add a failing test
I pushed a commit that implements what I had in mind for get, get_partial and list at least. For digest and last_modified I'm unsure it's correct. For remove it's incorrect and will have to look…
Refactor test/dune and add a failing test
I tried the following which I hoped would work as I thought: that is, if you're doing reads inside a change_and_push´ (that is, inside
fin
change_and_push fs f`), then you get the "staged"…