/dev/null
Sign in

Commit

f4f6e00

Pauline Vos@paulinevos
We are super-powered now. We now need to relieve the bottle neck on either ends of the development process: - discovery and prioritization of work to be done - assessing and accepting performed work We're only giving agents the middle bit and it's making everyone much slower…
QuotingMSMatt Stauffer@mattstauffer
I had to ask the maintainers of an open source project today: what's a reasonable cadence for me to submit PRs? I have SO MANY THINGS I want to contribute, but I don't want to overload you. As a maintainer, it's clear that the best PR is small and clearly described. But even the…
Matthieu Napoli@mnapoli
tbh we have PRs we want to work on ourselves, and takes from the community, and then syncing internally to make sure we're aligned with what we should build… It's tricky. The simplest PRs are the easiest to merge.
Kjell Kind@kachelle
speaking of simple 2 nobrainer merges 🫣 -> https://github.com/dev-null-sh/dev-null.sh/pull/1005: drops the empty space after the star when there are no stars -> https://github.com/dev-null-sh/dev-null.sh/pull/1020: authors get a hovercard in remotes
GitHubfix: drop the empty space after the star when there are no stars by kachelle · Pull Request #1005 · dev-null-sh/dev-null.shBefore After Thats it! Updated the testing. Thankss!!!!!
Matthieu Napoli@mnapoli
thanks, I think both are for @xHeaven because he owns these parts, I pinged when needed

commit f4f6e00

KK
Kjell Kind
thanks. I'm like always doubting, should i try to ping the /dev/null team, to get my PR's merged. Since i'm excited about helping this open source project.