9 commits

Author	SHA1	Message	Date
Johannes Marbach	482a52d4e3	Pretty it up	2023-11-29 10:42:03 +01:00
Johannes Marbach	377a7e4308	Replace quotes	2023-11-29 10:34:06 +01:00
Johannes Marbach	be646418bf	Add missing labels for label sync ... This adds all the labels that element-web has over element-meta to labels.yml. There is some deduplication to do that we can take care of over time. This at least should ensure that we don't lose anything we have to day while still benefiting from label sync.	2023-11-29 10:30:30 +01:00
Johannes Marbach	7cb841a4cd	Adapt label-sync workflow to new version of upstream workflow	2023-11-29 08:34:04 +01:00
Michael Telatynski	94228574d4	Prettier	2023-11-21 16:00:45 +00:00
Johannes Marbach	49783d511c	Quote names	2023-11-21 16:31:49 +01:00
Johannes Marbach	6389ffd751	Fix quotes	2023-11-21 16:30:09 +01:00
Johannes Marbach	e6c1a79067	Add labels currently added with respect to element-meta	2023-11-21 16:28:50 +01:00
Johannes Marbach	8dae3562e9	Set up rudimentary workflow for manually triggering label sync	2023-11-21 13:57:41 +01:00