Reynir Björnsson

`adduser` is a Debian-ism

4

`adduser` is a Debian frontend for `useradd`. It's not available on e.g. Archlinux. I don't have a proposed solution; I'm not sure if there's a nice portable way to add...

Cannot publish repo where two different versions of a package were added using the same filename

12

## Detailed Description When adding two packages with differing versions and content from files both named `builder-web.deb` to a repository and then subsequently publishing the repo I don't expect an...

Mirage_runtim: allow more log levels

1

Also does not raise exceptions on unknown log levels. Addresses #1273 and #1274 This is a breaking change. Most of it can be achieved in a non-breaking way also.

When starting a unikernel you can pass in log levels using `-l *:info,dns:debug` which sets the dns log source to debug and all other sources to info. However, there's no...

Issues when releasing from a git worktree

3

I encountered some warts when using dune-release from a git worktree. Unfortunately, I closed the shell I was using in the subtree so I can't paste all output. When I...

device-usage/http-fetch tries ipv4 address even with --ipv6-only

1

The issue is likely in the cohttp client or elsewhere, but I'm creating the issue here to track it. ``` WRN [tcpip-stack-direct] attempted to write an IPv4 packet in a...

Custom mac address

1

This PR extends the `--net` command line argument to take an optional mac address separated by an ampersand. The format is `--net=service:bridge@00:11:22:33:44:55`. Things to do: - [ ] Fix pretty...

I changed my lastname in ~2014.

Do not append a leading slash to path

1

I found that I could not fetch the repo http://git.data.coop/halfd/new-website.git. With full debug logs I was able to gather that http://git.data.coop//halfd/new-website.git was requested instead, and gitea treats that as an...