Haroen Viaene

Haroen Viaene

@haroen.me

post to forget

67 followers73 following62 posts

does anyone else think they're getting brain worms and starts to like the "explain the obvious" AI slop comments in their code?

is there some way with code owners on GitHub to assign multiple people/teams, but in the review only pick a certain number of people instead of pinging everyone for a review?

it's so sad that in France French movies never have subtitles in cinemas. I can't even properly perceive movies in my native language without subtitles

luckily there's a way to remove the unread messages (only do if you otherwise have inbox zero, as this will read all messages) gh api --method PUT -H "Accept: application/vnd.github+json" -H "X-GitHub-Api-Version: 2022-11-28" /notifications -f "last_read_at=$(date -I)" -F "read=true"

Is there actually a reason why you can't "apply" a FormData back to a form to set all values at once? Surely this logic exists somewhere as it's used for setting all values when GET parameters are in the URL

I like how sncf sneakily changes from voyagesengroupe@sncf.fr to voyageengroupe@sncf.fr (which I feel like is spelled worse) and didn't even add a redirect

I don't think enough people know that the original author of a package doesn't lose rights when adding it to an org (even if they aren't in that org anymore). I also can't find a good solution as non-scoped packages always have an individual real owner

a user sees a bug report as a gift to the maintainer so they can fix it for others, a maintainer sees it as a wild edge case that only the original reporter ever noticed in years

You are up to date.