8 Commits

Include renames

Author	SHA1	Message	Date
David Langley	0562942972	Update org in scripts and workflows	2023-12-12 10:31:44 +00:00
Johannes MarbachandGitHub	e493ef1cdb	Undry the workflow	2023-11-29 11:44:55 +01:00
Johannes MarbachandGitHub	98e860a8a8	Enable label sync workflow	2023-11-29 11:26:52 +01:00
Johannes Marbach	7cb841a4cd	Adapt label-sync workflow to new version of upstream workflow	2023-11-29 08:34:04 +01:00
Johannes MarbachandGitHub	acad93dd7f	Rename action to not tap outside exclusion list	2023-11-21 15:36:15 +01:00
Johannes MarbachandGitHub	03b43d3c84	Use correct key	2023-11-21 14:14:59 +01:00
Johannes Marbach	be0de442a2	Make it preeeeeetty	2023-11-21 14:04:28 +01:00
Johannes Marbach	8dae3562e9	Set up rudimentary workflow for manually triggering label sync	2023-11-21 13:57:41 +01:00