7 commits

Author	SHA1	Message	Date
Félix Piédallu	e15a2e41e8	cleanup update scripts, run isort	2023-09-15 17:01:53 +02:00
Félix Piédallu	f46875a9d5	Allow the use of github token	2023-09-15 16:55:06 +02:00
Félix Piédallu	ecd86a8a41	update extension script : be smarter by finding maybe stalled branches	2023-09-15 16:53:06 +02:00
Félix Piédallu	48937aa04b	Rework update scripts	2023-06-08 23:22:53 +02:00
Félix Piédallu	def7b6dc93	Fix update_extensions.py: version.parse now fails on 'master' version name	2022-12-25 13:10:17 +01:00
yalh76	87335020d6	Fix sources	2022-06-21 01:44:23 +02:00
Félix Piédallu	b265592ea9	Add github workflows, rework update_extensions.py	2022-05-27 19:45:30 +02:00