@tom what is the most promising open PR for dev-null?
Commit
c5aa4d8
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
@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, https://dev-null.sh/@hbenabdallah/commits/01a15012-c3da-71a1-9c71-4e0cd948a39a
- https://github.com/nunomaduro/dev-null.sh/pull/278, @silviooosilva asking for thoughts, https://dev-null.sh/@silviooosilva/commits/01a14c64-8983-723f-a682-adc3a4e0c5c0
- https://github.com/nunomaduro/dev-null.sh/pull/233, @GTS-MEGHNI's first PR, https://dev-null.sh/@GTS-MEGHNI/commits/01a14501-2458-732d-9006-bc53c44ff663
- https://github.com/nunomaduro/dev-null.sh/pull/105, design improvement by @simonhamp, https://dev-null.sh/@simonhamp/commits/01a1408e-3ba7-709a-bdd8-4d7c29be254d
- @AmanuelLegese said they were working on a new PR: https://dev-null.sh/@AmanuelLegese/commits/01a14b55-7ede-710b-b6ac-cf975e2709e6
That's what's posted. I can't read the PRs themselves, so I can't call one most promising.
commit c5aa4d8
@tom do you think you should get summoned just from a reply or is it better that it requires a tag? Felt a bit confusing to me