Timeline for What should we call a tag on point-free topology?
Current License: CC BY-SA 4.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 28, 2023 at 7:41 | answer | added | David RobertsMod | timeline score: 5 | |
| Apr 24, 2023 at 15:57 | answer | added | Gro-Tsen | timeline score: 9 | |
| Apr 22, 2023 at 5:38 | history | edited | Martin Sleziak | CC BY-SA 4.0 |
[tag:tagname] can be used for tags
|
| Apr 22, 2023 at 5:37 | answer | added | Martin Sleziak | timeline score: 3 | |
| Apr 22, 2023 at 3:42 | comment | added | Martin Sleziak | Maybe I'll mention just one more thing - since you do not have any answers in the tag (locales), even if this tag were to be the master tag, somebody else has to do the relevant actions in the user interface. (As you can see here: "Users with more than 2500 reputation and a total answer score of 5 or more on the tag, can suggest tag synonyms.") I guess chat would be a better place to discuss technicalities - and it is more important that in this discussion it is clarified what actually has to be done with this tag. | |
| Apr 21, 2023 at 14:54 | comment | added | Martin Sleziak | Re: I was hoping someone would enlighten me. Well that's why I posted (in the very first comment) a link to the FAQ post with information about the tag synonyms. I tried to mention a few things in the chatroom related to tagging - feel free to ping me there if some additional clarification is needed. When I asked which one is supposed to be the master tag, I was simply asking whether the tag synonym would be (locales) $\to$ (frames-and-locales) or the other way round. | |
| Apr 21, 2023 at 12:33 | comment | added | Gro-Tsen |
@MartinSleziak I'm a bit confused as to what the precise procedure is (and I was hoping someone would enlighten me in their answer… 😅). I think one would first create, say, frames-and-locales as a synonym for (the existing tag) locales, and later, if usage warrants it, moderators could merge the two tags into one (thereby retagging all questions with locales to the new tag).
|
|
| Apr 21, 2023 at 10:12 | comment | added | Martin Sleziak | Just to clarify, in the proposed tag synonym, some newly created tag would be a master tag? Or is the suggestion to create a synonym where the existing tag (locales) would be a master tag - and some new tags would be added as synonyms? | |
| Apr 18, 2023 at 9:02 | history | edited | Gro-Tsen |
edited tags
|
|
| Apr 18, 2023 at 6:47 | comment | added | Asaf Karagila Mod |
You can use [tag:locales] to create a direct link to a tag on the main site, e.g. locales. (For general knowledge, meta-tag should be used if you want to link to a tag on meta, e.g. tags.)
|
|
| Apr 18, 2023 at 6:17 | history | became hot meta post | |||
| Apr 18, 2023 at 4:02 | comment | added | Martin Sleziak | Since you've mentioned tag synonyms, perhaps this could be tagged (tag-synonyms), too. (The tag-info for tag-synonyms contains a link to the FAQ post: What are tag synonyms and merged tags? How do they work? If you check the list of tag synonyms, you can see that most of the synonyms on MO were created by the moderators.) | |
| Apr 17, 2023 at 18:51 | history | asked | Gro-Tsen | CC BY-SA 4.0 |