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 opened issue robur/opam-mirror#5 2024-10-16 12:18:10 +00:00
Idea: Be able to use one or more upstream caches
reynir opened issue robur/blog.robur.coop#6 2024-10-16 10:17:45 +00:00
Add source commit ID in commit message when pushing
reynir opened issue robur/blog.robur.coop#5 2024-10-16 10:02:25 +00:00
Template layout.html uses undefined dash
reynir pushed to gh-pages at robur/blog.robur.coop 2024-10-16 09:58:23 +00:00
84a3091898 Built from 3deddd702f
reynir pushed to main at robur/blog.robur.coop 2024-10-16 09:57:52 +00:00
3deddd702f Allow commonmark extensions
reynir commented on pull request robur/blog.robur.coop#4 2024-10-16 09:54:13 +00:00
Implement tags

I merged and deployed 890055c942

Unfortunately, some things broke /o\

Notably, [these][^footnotes] broke…

reynir pushed to gh-pages at robur/blog.robur.coop 2024-10-16 09:49:00 +00:00
890055c942 Built from 33ef4926e2
reynir pushed to main at robur/blog.robur.coop 2024-10-16 09:45:49 +00:00
33ef4926e2 Merge pull request 'Implement tags' (#4) from yocaml2-tags into main
90fc53c8d2 css: ok, it looks better with background-color higlighting
6c79caeb19 css: highlight targeted tag-box
3b1d9f0805 Implement tags
Compare 4 commits »
reynir deleted branch yocaml2-tags from robur/blog.robur.coop 2024-10-16 09:45:49 +00:00
reynir merged pull request robur/blog.robur.coop#4 2024-10-16 09:45:47 +00:00
Implement tags
reynir approved robur/unikernel-repo#4 2024-10-16 09:21:53 +00:00
update to solo5 0.9

LGTM

reynir pushed to main at robur/opam-mirror 2024-10-16 09:10:35 +00:00
1241753a8c Merge pull request 'Use GPTar table' (#3) from gptar' into main
26643fbcde Add a message on successful --initialize-disk
30266f4e09 Fix sector alignment bug in formatting
068c640dac Reset the partitions when initializing the disk
719b4ea45d Repo tarball: use level Ustar
Compare 7 commits »
reynir deleted branch gptar' from robur/opam-mirror 2024-10-16 09:10:35 +00:00
reynir merged pull request robur/opam-mirror#3 2024-10-16 09:10:33 +00:00
Use GPTar table
reynir pushed to gptar' at robur/opam-mirror 2024-10-16 09:07:11 +00:00
26643fbcde Add a message on successful --initialize-disk
reynir pushed to gptar' at robur/opam-mirror 2024-10-16 09:05:40 +00:00
30266f4e09 Fix sector alignment bug in formatting
068c640dac Reset the partitions when initializing the disk
719b4ea45d Repo tarball: use level Ustar
ceb4674ec2 Add code for formatting a disk
d36a0714e7 Use GPTar table
Compare 7 commits »
reynir commented on pull request robur/blog.robur.coop#4 2024-10-16 08:01:38 +00:00
Implement tags

TL;DR: this can be merged, but it would be nice to address some issues.

I think it would be good to address the tag url and fragment issue mentioned. That is, we should instead of`#tag-{{…

reynir pushed to gptar' at robur/opam-mirror 2024-10-10 08:32:15 +00:00
6aa490f607 Fix sector alignment bug in formatting
reynir pushed to gptar' at robur/opam-mirror 2024-10-10 08:25:29 +00:00
02f6c1fe09 Reset the partitions when initializing the disk
reynir pushed to gptar' at robur/opam-mirror 2024-10-09 17:54:58 +00:00
0d3a345e7e Repo tarball: use level Ustar