6 Commits (16df760ac2502c6d3056a9e9b93c0d9c88853d66)

Author	SHA1	Message	Date
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