We could update the "chat" value of the meta.yml files of related repositories and regenerate READMEs so that they point here.
Sounds good to me, I think some project already does this?
Yes, several outside Coq-community, and graph-theory inside. But I realize by looking at their README that the feature was not really planned for Coq-community users. It would be better that the chat link replaces the one that is already provided (without changing its color) instead of adding a new one, wouldn't it?
sure, yes, we just allow overriding the default link and keep everything as-is?
Either this, or we do this only in case a project has
coq-community: true set.
OK, I'd propose add configurability of chat link only for the case when
community: true (postpone the general problem)
chat: variable is already supported and already does something, so do you mean using a different variable when
community: true? My idea was to just treat this
chat: value differently depending on whether
community: true or not.
wait, so if both
community is defined, we only show the
No, what I had in mind was: we only show the community one but we change the URL using the chat.url value (this assumes that it will anyway always be a Zulip chat and that we do not want to change the shield text, though actually we could use chat.shield to make it possible to change the shield text).
Last updated: Jun 11 2023 at 00:30 UTC