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 approved robur/builder-web#4 2024-12-17 11:15:00 +00:00
update to uuidm 0.9.9 deprecations

Thanks!

reynir pushed to main at robur/opam-graph 2024-12-05 08:55:09 +00:00
26fb757c01 Document scope in README and opam description
reynir commented on pull request robur/blog.robur.coop#25 2024-12-05 08:29:22 +00:00
Add an article about GitHub sponsor

Should we mention that this is the preferable method? For us at least.

reynir commented on pull request robur/blog.robur.coop#25 2024-12-05 08:29:22 +00:00
Add an article about GitHub sponsor

Maybe

reynir approved robur/blog.robur.coop#25 2024-12-05 08:29:22 +00:00
Add an article about GitHub sponsor

I think this is great! Thanks

reynir deleted branch git-kv-011 from robur/opam-mirror 2024-12-03 12:26:56 +00:00
reynir pushed to main at robur/opam-mirror 2024-12-03 12:26:55 +00:00
bbd09258d0 Merge pull request 'update to git-kv 0.1.1 -- use val commit :)' (#31) from git-kv-011 into main
16dd833477 update to git-kv 0.1.1 -- use val commit :)
Compare 2 commits »
reynir merged pull request robur/opam-mirror#31 2024-12-03 12:26:54 +00:00
update to git-kv 0.1.1 -- use val commit :)
reynir commented on pull request robur/opam-mirror#31 2024-12-03 12:26:11 +00:00
update to git-kv 0.1.1 -- use val commit :)

I guess these two cases "shouldn't happen"

reynir approved robur/opam-mirror#31 2024-12-03 12:26:11 +00:00
update to git-kv 0.1.1 -- use val commit :)

Looks fine to me :-) thanks!

reynir pushed tag v0.1.1 to robur/git-kv 2024-11-28 14:22:14 +00:00
reynir deleted branch prepare-v0.1.1 from robur/git-kv 2024-11-28 13:45:20 +00:00
reynir pushed to main at robur/git-kv 2024-11-28 13:45:19 +00:00
c6a821f9ad Merge pull request 'Prepare for release v0.1.1' (!7) from prepare-v0.1.1 into main
72b9d05aa5 Prepare for release v0.1.1
Compare 2 commits »
reynir merged pull request robur/git-kv#7 2024-11-28 13:45:18 +00:00
Prepare for release v0.1.1
reynir commented on pull request robur/git-kv#7 2024-11-28 13:45:10 +00:00
Prepare for release v0.1.1

Thanks!

reynir pushed to prepare-v0.1.1 at robur/git-kv 2024-11-28 13:44:53 +00:00
72b9d05aa5 Prepare for release v0.1.1
f5281fbcb1 Merge pull request 'Adjust Git_kv.commit to report staging status' (!8) from add-commit into main
3276c90b08 Adjust Git_kv.commit to report staging status
60795e65e2 Merge pull request 'add function: commit : t -> Digestif.SHA1.t option' (!6) from add-commit into main
56eceb1ef2 add function: commit : t -> Digestif.SHA1.t option
Compare 5 commits »
reynir commented on pull request robur/git-kv#8 2024-11-28 12:42:15 +00:00
Adjust Git_kv.commit to report staging status

Sure, I think None is fine too. We can refine later if we find it desirable.

reynir created pull request robur/git-kv#8 2024-11-28 11:37:41 +00:00
Adjust Git_kv.commit to report staging status
reynir created branch add-commit in robur/git-kv 2024-11-28 11:35:30 +00:00
reynir pushed to add-commit at robur/git-kv 2024-11-28 11:35:30 +00:00
3276c90b08 Adjust Git_kv.commit to report staging status