Re: GitHub Discussion for doc-* repos

Hello all,

/me goes off from the hole where old timers rest :-)

An option that might be useful, if implemented, is to have a github action
to do a quick check for the committed docs.

Been using those for checking data shoved into a repo for a project
unrelated to PHPDoc, and that has been helpful.

/me goes back to have a nap :-)

--
Jesus M. Castagnetto, Ph.D. <[email protected]>
Web site: https://castagnetto.site
Github: https://github.com/jmcastagnetto
LinkedIn: https://www.linkedin.com/in/jesuscastagnetto/
ORCID: https://orcid.org/0000-0002-7188-1605


On Thu, Mar 31, 2022 at 8:26 AM Rowan Tommins <[email protected]>
wrote:

> On 31/03/2022 12:06, Sergey Panteleev wrote:
> > - Possibility to keep track of interesting topics and unsubscribe from
> > uninteresting ones, instead of an uncontrolled mailing list;
>
>
> I've not tried the Discussions feature, so maybe it's better, but the
> notification filters for the rest of Github are pretty awful.
>
> For a low-traffic list like this one, I'm not sure there'd be much
> benefit. For a high-traffic list like php-internals, I'd need convincing
> that Github Discussions was a better fit than any of the dozens of
> different forum systems out there.
>
> Regards,
>
> --
> Rowan Tommins
> [IMSoP]
>