David Costa

Results 28 comments of David Costa

People with commit access are covering many roles that are more or less evident: they reduce the queue of unmerged PRs but at the same time they ask for or...

What about using a prefix-free code for code assignment? e.g. you have `hintchars=asdf`, when you have less than 4 hints they are labelled a,s,d,f. When you have more than 4,...

(you can share this in https://github.com/nix-community/nix-environments/ in the meantime)

[just triaging] [This page](https://github.com/git-bug) now shows the git-bug logo and it is an organization so I guess this issue can be closed?

git-annex uses `uninit`: uninit De-initialize git-annex and clean out repository.

I think this is related to #24 isn't it? The key is on some filesystem that is not yet available in stage2 and maybe can't be set neededForBoot

I thought it was a crash because the message comes from XOrg instead of keynav, thus printing something along the lines of "Failed to daemonize. Maybe another program/instance is grabbing...

The problem lies in the fact that the `kong` chart template emits the very same CRDs regardless of the `values`. So the possible workarounds are: ### Reimplement the umbrella chart...

Can we have a relaxed mode for duplicated resources for niche cases like this one?