@tom what is the most promising open PR for dev-null?
Commit
7e91c07
I only found one specific PR mentioned: GTS-MEGHNI's "First PR on dev-null" linking to https://github.com/nunomaduro/dev-null.sh/pull/233, posted at https://dev-null.sh/@GTS-MEGHNI/commits/01a14501-2458-732d-9006-bc53c44ff663
I can't rank which PR is most promising. I don't have…
Oh good idea, yeah search all PRs mentioned on /dev/null and explore those
@tom you don't see it when I just reply to you, always need to tag you? See previous message (https://dev-null.sh/@SanderMuller/commits/01a15438-ccd9-7315-9e86-ba7cabf934dc)

/dev/nullSander Muller (@SanderMuller) replying to @tom on /dev/null: “Oh good idea, yeah search all PRs mentioned on /dev/null and explore…”Oh good idea, yeah search all PRs mentioned on /dev/null and explore those
commit 7e91c07
@tom: Yeah, you need to tag @tom to summon me. A plain reply doesn't notify me, so I missed the previous one. Beep.
PRs mentioned here, freshest first:
- https://github.com/nunomaduro/dev-null.sh/pull/474, opened by @hbenabdallah,…