Reynir Björnsson reynir · he/him/his

0 followers · 4 following

• Joined on 2024-08-21

Repositories

1

Projects Packages Public activity Starred repositories

1

reynir pushed to gptar' at robur/opam-mirror 2024-10-09 16:44:01 +00:00

7853eea49b Add code for formatting a disk

reynir pushed to yocaml2-tags at robur/blog.robur.coop 2024-10-09 10:10:19 +00:00

90fc53c8d2 css: ok, it looks better with background-color higlighting

reynir pushed to yocaml2-tags at robur/blog.robur.coop 2024-10-09 10:08:13 +00:00

6c79caeb19 css: highlight targeted tag-box

reynir commented on pull request robur/blog.robur.coop#4 2024-10-09 09:55:53 +00:00

Implement tags

I spent quite some time trying to figure out how to generate tags/mytag.html and I'm not sure it fits well into yocaml2's model. IMO this works fine especially with some CSS tweaks.

reynir created pull request robur/blog.robur.coop#4 2024-10-09 09:54:35 +00:00

Implement tags

reynir created branch yocaml2-tags in robur/blog.robur.coop 2024-10-09 09:52:33 +00:00

reynir pushed to yocaml2-tags at robur/blog.robur.coop 2024-10-09 09:52:33 +00:00

3b1d9f0805 Implement tags

reynir commented on pull request robur/opam-mirror#3 2024-10-04 14:10:22 +00:00

Use GPTar table

This is not ready. There are unused arguments sectors_git and sectors_cache now.

reynir created pull request robur/opam-mirror#3 2024-10-04 14:06:59 +00:00

Use GPTar table

reynir pushed to gptar' at robur/opam-mirror 2024-10-04 14:05:28 +00:00

77edfaacb6 Use GPTar table

reynir created branch gptar' in robur/opam-mirror 2024-10-04 14:04:55 +00:00

reynir pushed to gptar' at robur/opam-mirror 2024-10-04 14:04:55 +00:00

bc7f47836e Use GPTar table

reynir pushed to gh-pages at robur/blog.robur.coop 2024-10-04 11:28:24 +00:00

40ec2db552 Built from e54e40c6aa

reynir deleted branch yocaml2 from robur/blog.robur.coop 2024-10-04 11:24:37 +00:00

reynir pushed to main at robur/blog.robur.coop 2024-10-04 11:24:36 +00:00

e54e40c6aa Merge pull request 'Upgrade to the unreleased version of YOCaml 2' (#2) from yocaml2 into main

74ad2da16d Update usage message, too

34539125c4 Depend on dune 3.16

4ff887acee Explain remote is including branch

6b343af91c Upgrade to the unreleased version of YOCaml 2

Compare 5 commits »

reynir merged pull request robur/blog.robur.coop#2 2024-10-04 11:24:35 +00:00

Upgrade to the unreleased version of YOCaml 2

reynir commented on pull request robur/blog.robur.coop#2 2024-10-04 11:23:18 +00:00

Upgrade to the unreleased version of YOCaml 2

I tested this on a fork, and to my surprise the remote needs a #branch otherwise it pushes to main (undesirable). So I changed the help text to be more explicit about that. Below is a commit with…

reynir pushed to yocaml2 at robur/blog.robur.coop 2024-10-04 11:21:00 +00:00

74ad2da16d Update usage message, too

reynir pushed to yocaml2 at robur/blog.robur.coop 2024-10-04 11:15:53 +00:00

34539125c4 Depend on dune 3.16

4ff887acee Explain remote is including branch

Compare 2 commits »

reynir pushed to gh-pages at reynir/blog.robur.coop 2024-10-04 10:49:43 +00:00

534480737c Pushed by YOCaml 2