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 gh-pages at robur/blog.robur.coop 2024-12-20 13:25:43 +00:00
4392088d5a Pushed by YOCaml 2 from ec0dec16ef37517b8e979c093d7f2edeeed07482-dirty
reynir pushed to gh-pages at robur/blog.robur.coop 2024-12-20 13:25:36 +00:00
reynir pushed to gh-pages at robur/blog.robur.coop 2024-12-20 13:24:19 +00:00
231f2863da Pushed by YOCaml 2 from ec0dec16ef37517b8e979c093d7f2edeeed07482-dirty
reynir pushed to gh-pages at robur/blog.robur.coop 2024-12-20 13:23:50 +00:00
reynir pushed to gh-pages at robur/blog.robur.coop 2024-12-20 13:23:08 +00:00
e5ad6a791a Pushed by YOCaml 2 from ec0dec16ef37517b8e979c093d7f2edeeed07482-dirty
reynir pushed to gh-pages at robur/blog.robur.coop 2024-12-20 13:22:59 +00:00
reynir pushed to teeest at reynir/blog.robur.coop 2024-12-20 13:21:54 +00:00
e055ffaa76 Pushed by YOCaml 2 from ec0dec16ef37517b8e979c093d7f2edeeed07482-dirty
reynir pushed tag v0.1.2 to robur/git-kv 2024-12-20 13:09:34 +00:00
reynir pushed to main at robur/git-kv 2024-12-20 13:08:57 +00:00
75e609ed05 Quick fix mistakes
reynir deleted branch prepare-v0.1.2 from robur/git-kv 2024-12-20 13:01:41 +00:00
reynir merged pull request robur/git-kv#11 2024-12-20 13:01:39 +00:00
Add CHANGES.md entry for v0.1.2
reynir pushed to main at robur/git-kv 2024-12-20 13:01:39 +00:00
7809c7e384 Merge pull request 'Add CHANGES.md entry for v0.1.2' (!11) from prepare-v0.1.2 into main
52bef4f519 Add CHANGES.md entry for v0.1.2
Compare 2 commits »
reynir created pull request robur/git-kv#11 2024-12-20 12:26:06 +00:00
Add CHANGES.md entry for v0.1.2
reynir created branch prepare-v0.1.2 in robur/git-kv 2024-12-20 12:20:54 +00:00
reynir pushed to prepare-v0.1.2 at robur/git-kv 2024-12-20 12:20:54 +00:00
52bef4f519 Add CHANGES.md entry for v0.1.2
reynir deleted branch fix-last_modified from robur/git-kv 2024-12-20 12:11:34 +00:00
reynir pushed to main at robur/git-kv 2024-12-20 12:11:33 +00:00
aec833f991 Merge pull request 'last_modified: don't find_blob; find the commit!' (!10) from fix-last_modified into main
d2a0e526da Remove an assert false, and silence warning 8
e342f8539a last_modified: don't find_blob; find the commit!
Compare 3 commits »
reynir merged pull request robur/git-kv#10 2024-12-20 12:11:32 +00:00
last_modified: don't find_blob; find the commit!
reynir commented on pull request robur/builder-web#5 2024-12-20 11:48:31 +00:00
Add Json API to some endpoints

I merged it as is. We can revisit the errors later.

reynir pushed to main at robur/builder-web 2024-12-20 11:46:48 +00:00
b22f571a92 Merge pull request 'Add Json API to some endpoints' (!5) from json_responses into main
44e7cd566f Refactor accept: json logic, return json errors
c670df643e Tweak json field names
2c44f88460 compare_builds json: return null if no main binary
23db42fed3 Rely on redirect also for Accept: json
Compare 11 commits »