There is perhaps a happy medium here, whereby interested parties start a "friends-of-lucid" repository. Unlimited amounts of discussion could take place there, and information and PRs could be forwarded upstream as necessary, in a way that is respectful of the upstream maintainer. On Wed, Jun 10, 2020 at 05:06:19PM +0100, chris done wrote:
Unfortunately, GitHub doesn't distinguish between "mailing list where chat can occur" and "tasks the devs plan to put time and energy into", it's all dumped into one pot. [...]
On Wed, Jun 10, 2020, at 4:26 PM, Gabriel Gonzalez wrote:
Would it be possible to leave the issue tracker on but just disable your own email notifications for the repository if you do not plan to maintain it? The two main reasons I suggest this are:
* We would like a way to be able to petition Oleg for changes (or whoever is the maintainer at the time)
* We would like to know if other people share the same problem we do (or vice versa, educate other users of problems we are having and potential workarounds)