metaprogramming-rosetta-stone icon indicating copy to clipboard operation
metaprogramming-rosetta-stone copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

add basic meta.yml, generate README.md from templates

Open palmskog opened this issue 2 years ago • 5 comments

Rather than ad-hoc updating README.md, how about using meta.yml @yforster? This is the closest I can get to the current README.md.

palmskog avatar Jun 30 '23 19:06 palmskog

Happy to merge this, but wondering in general: What's the advantage of using a meta.yml file?

yforster avatar Jul 04 '23 11:07 yforster

README.md is autogenerated from meta.yml with mustache. We have other templates that use meta.yml also that could be useful: https://github.com/coq-community/templates

Finally, it makes detailed repo metadata machine-readable, which we hope every Coq-community project can do.

palmskog avatar Jul 04 '23 11:07 palmskog

How can I edit the zulip link to go to our thread in the CUDW stream rather than link to the general coq-community stream? I tried using chat as indicated in the ref.yml, but that just adds a second zulip shield.

yforster avatar Jul 04 '23 16:07 yforster

Example:

chat:
  url: https://coq.zulipchat.com/#narrow/stream/284683-GraphTheory
  shield: Zulip

However, I don't understand how it would make sense to use a stream specifically dedicated to an event that has already taken place.

palmskog avatar Jul 04 '23 16:07 palmskog

You can remove the other shield by setting community: false.

palmskog avatar Jul 04 '23 16:07 palmskog