5 Commits

Author	SHA1	Message	Date
Sebastian Rittau	87900248b0	Update label names used by bots (#11650)	2024-03-23 12:20:36 +01:00
Sebastian Rittau	a8997209fb	Install pyright from PyPI (#11575)	2024-03-16 14:14:31 +01:00
Alex Waygood	7894b095eb	Renovate config: give the dependency groups better names (#11589)	2024-03-13 10:49:27 +00:00
Alex Waygood	382c046e9b	fix renovate config (#11587)	2024-03-13 10:38:15 +00:00
Alex Waygood	405494891c	Setup renovate for updating dependencies (#11565)	2024-03-13 10:27:03 +00:00