Reynir Björnsson reynir · he/him/his
  • Joined on 2024-08-21
reynir commented on pull request robur/blog.robur.coop#2 2024-10-01 09:30:25 +00:00
Upgrade to the unreleased version of YOCaml 2

Are these still links? It's not clear to me how they are links now.

reynir commented on pull request robur/blog.robur.coop#2 2024-10-01 09:30:25 +00:00
Upgrade to the unreleased version of YOCaml 2

I think by default we first look up author information in git config? I remember looking into this at some point. I think team@robur.coop is only used if neither author is passed nor is it configured in git config.

reynir commented on pull request robur/blog.robur.coop#2 2024-10-01 09:30:25 +00:00
Upgrade to the unreleased version of YOCaml 2

Ah this might not be the case anymore. I can't tell.

reynir commented on pull request robur/blog.robur.coop#2 2024-10-01 09:30:25 +00:00
Upgrade to the unreleased version of YOCaml 2

:D

reynir approved robur/blog.robur.coop#2 2024-10-01 09:30:25 +00:00
Upgrade to the unreleased version of YOCaml 2

This change is big and hard to understand (there's no useful CHANGES for yocaml 2), but please feel free to merge if it works :)

reynir commented on pull request robur/blog.robur.coop#2 2024-10-01 09:19:50 +00:00
Upgrade to the unreleased version of YOCaml 2

Ah this might not be the case anymore. I can't tell.

reynir commented on pull request robur/builder-web#3 2024-09-24 12:16:25 +00:00
output SHA256 sum without spaces

Thanks!

reynir pushed to main at robur/builder-web 2024-09-24 12:16:21 +00:00
083f961ac4 Merge pull request 'output SHA256 sum without spaces' (!3) from style into main
cd1b2a0b26 output SHA256 sum without spaces
Compare 2 commits »
reynir deleted branch style from robur/builder-web 2024-09-24 12:16:21 +00:00
reynir merged pull request robur/builder-web#3 2024-09-24 12:16:19 +00:00
output SHA256 sum without spaces
reynir pushed to main at robur/kortfat 2024-09-24 09:59:19 +00:00
8ee072f7d5 Initial commit
reynir created branch main in robur/kortfat 2024-09-24 09:59:18 +00:00
reynir created repository robur/kortfat 2024-09-24 09:58:53 +00:00
reynir created repository robur/template-github-mirrored 2024-09-11 11:14:56 +00:00
reynir pushed tag v0.2.0 to robur/builder-web 2024-09-10 09:30:48 +00:00
reynir deleted branch prepare-v0.2.0 from robur/builder-web 2024-09-10 09:25:30 +00:00
reynir merged pull request robur/builder-web#2 2024-09-10 09:25:29 +00:00
v0.2.0 CHANGES.md
reynir pushed to main at robur/builder-web 2024-09-10 09:25:29 +00:00
402894405d Merge pull request 'v0.2.0 CHANGES.md' (!2) from prepare-v0.2.0 into main
84737a4871 v0.2.0 CHANGES.md
Compare 2 commits »
reynir created pull request robur/builder-web#2 2024-09-06 12:58:27 +00:00
v0.2.0 CHANGES.md
reynir pushed to prepare-v0.2.0 at robur/builder-web 2024-09-06 12:26:11 +00:00
84737a4871 v0.2.0 CHANGES.md