Zulip Chat Archive
Stream: general
Topic: Tags
Yaël Dillies (Oct 02 2021 at 07:01):
What's the finality of tags? I've been putting them without really knowing whether they would be read manually or processed by some search engine.
Scott Morrison (Oct 02 2021 at 10:20):
Tags?
Yaël Dillies (Oct 02 2021 at 10:21):
In module docstrings
Scott Morrison (Oct 02 2021 at 10:22):
Ah. I think at the moment they do nothing except give you a place to put words people might search for that aren't already in a sentence.
Scott Morrison (Oct 02 2021 at 10:23):
(There are also git tags and stacks projects tags; I wasn't sure which you meant.)
Last updated: Dec 20 2023 at 11:08 UTC