Stream: coq-community devs & users

Topic: Bullet spacing issues with README.md.mustache


view this post on Zulip Karl Palmskog (Aug 12 2020 at 13:25):

@Anton Trunov I think the spacing of bullets in https://github.com/coq-community/alea#readme is wrong now after the update to the latest template. Maybe you can report this issue in the template repo? I think it's due to the recently-introduced after_authors field. cc: @Théo Zimmermann

view this post on Zulip Théo Zimmermann (Aug 12 2020 at 14:04):

This is surprising because I recall having tested my patch on an existing project to check that nothing had changed.

view this post on Zulip Théo Zimmermann (Aug 12 2020 at 14:04):

And yet, I don't see what else could cause this.

view this post on Zulip Karl Palmskog (Aug 12 2020 at 14:07):

see here: https://github.com/coq-community/alea/commit/7beade0d375deb5ff10cbc318a4b5c65c754d806#diff-04c6e90faac2675aa89e2176d2eec7d8R35

view this post on Zulip Théo Zimmermann (Aug 12 2020 at 14:08):

I've seen the same thing on lemma-overloading. And I just confirmed that your diagnosis is right.

view this post on Zulip Théo Zimmermann (Aug 12 2020 at 14:08):

What puzzles me is that I recall having tested this change.

view this post on Zulip Théo Zimmermann (Aug 12 2020 at 14:09):

Furthermore, it's not very nice from mustache to add a new line for something empty that is supposedly added at the end of the line.

view this post on Zulip Théo Zimmermann (Aug 12 2020 at 14:12):

See https://github.com/coq-community/templates/pull/72


Last updated: Feb 04 2023 at 01:03 UTC