Stream: coq-community devs & users

Topic: templates


view this post on Zulip 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?

view this post on Zulip Yishuai Li (May 29 2020 at 09:57):

For now I prefer my current role as a heavy user and active contributor.

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip 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: Feb 05 2023 at 15:03 UTC