Théo Zimmermann (May 27 2020 at 12:26): Théo Zimmermann (May 27 2020 at 12:26):@Yishuai Li Given your current involvement with the project, would you like to be listed as one of the maintainers?
Yishuai Li (May 29 2020 at 09:57):For now I prefer my current role as a heavy user and active contributor.
Karl Palmskog (May 31 2020 at 16:37):I'm not a huge fan of the new spaces introduced in the last two files here: https://github.com/coq-community/graph-theory/pull/2/files
Théo Zimmermann (May 31 2020 at 16:38):Not a huge fan either but I like to keep things simple and this is not a big deal to me. If you see a better solution, feel free to propose it.
Christian Doczkal (Jun 01 2020 at 20:08):Karl Palmskog said:
I'm not a huge fan of the new spaces introduced in the last two files here: https://github.com/coq-community/graph-theory/pull/2/files
Yeah, frowned at those too. But then, the graph-theory codebase is full of "whitespace errors", so I didn't raise any flags. :thinking:
Last updated: Jun 03 2023 at 15:31 UTC