Hannes Mehnert

hannes pushed to main at robur/opam-mirror

2024-10-16 08:40:14 +00:00

9ada5c4a94 Merge pull request 'update to mirage 4.8' (#4) from mirage-48 into main

58656926e3 update to mirage 4.8

Compare 2 commits »

hannes merged pull request robur/opam-mirror#4

2024-10-16 08:40:12 +00:00

update to mirage 4.8

hannes commented on pull request robur/blog.robur.coop#4

2024-10-16 08:39:38 +00:00

Implement tags

processing the tag names, I'd take the approach that we restrict tags to whatever is fine for HTML (though it feels a bit sad to not have a 🎉 tag ;)

about where the logic resides: I've no…

hannes created pull request robur/unikernel-repo#4

2024-10-16 08:38:00 +00:00

update to solo5 0.9

hannes created branch solo5-09 in robur/unikernel-repo

2024-10-16 08:37:38 +00:00

hannes pushed to solo5-09 at robur/unikernel-repo

2024-10-16 08:37:38 +00:00

a976cfe851 update to solo5 0.9

hannes commented on pull request robur/blog.robur.coop#4

2024-10-15 19:34:53 +00:00

Implement tags

should this be merged? I'm not sure what the status is, maybe @dinosaure has time for a review?

hannes commented on pull request robur/opam-mirror#4

2024-10-15 13:08:42 +00:00

update to mirage 4.8

Maybe not the best thing right now (let's fix that), but we have:

NETWORK OPTIONS
...
       --ssh-authenticator=SSH-AUTHENTICATOR
           SSH authenticator.

       --ssh-key=KEY
…

hannes commented on pull request robur/opam-mirror#4

2024-10-15 10:31:04 +00:00

update to mirage 4.8

In general, you don't and shouldn't ;) the command line arguments are private to the ssh/git device -- why would you need them elsewhere?

As a hack, you can inspect the value of `Mirage_runtime.…