Yuri D'Elia

I was looking at introducing a new custom toggle for "ignore-files". Specifically, I want to be able to toggle the presence of "--no-ignore-files". Right now we have ignore-hidden, which I...

On 05/26/2015 05:17 PM, Samuel Colvin wrote: > JSON is often used for things like collecting exception data or more > generally to record the state of a/the system for...

FIY rechecking the frequency now on my server, I do get about one per hour: ``` 38.145.60.3 thregr.org:80 - [08/Jan/2023:00:38:16 +0100] 38.145.60.4 thregr.org:80 - [08/Jan/2023:00:59:32 +0100] 38.145.60.4 thregr.org:80 - [08/Jan/2023:03:11:15...

It's not so much for the traffic/hits. If I was a user, how would I notice the upstream changed the url or was squatted by someone?

Isn't a 301 intended for exactly this purpose? Right now the release check is working, but as soon as I remove it the check will fail and I assume release-monitoring...

https://release-monitoring.org/project/9897/ can be changed to https, or to fetch the release info from https://gitlab.com/wavexx/wmnd/ via gitlab instead.

I'm currently on debian/unstable, I generally build with both gcc 13/clang 17 (depending on lto settings). I didn't actually measure if the pch build is any faster, I just turned...

Do I actually need to update the PR (merge main or rebase), or this will be done by who merges?

On Tue, Jul 26 2016, John Ellson wrote: > I think this is covered under the BUGS section in the man page: > > BUGS > At present, edgepaint does...

Thanks for fixing the warning. I had dig with gdb to understand what was going on. And yes, it would be nice if this would be implemented in `edgepaint`. Record...