13 Commits

Author	SHA1	Message	Date
Lucas Fernandes Nogueira	5914fb9f36	chore: add license headers (#384) ... * feat: check for license headers * add headers * format	2023-05-21 16:56:10 -03:00
FabianLars	b9cf0ec148	ci: only sync tags of js packages. Fix tag syntax to covector's style	2023-04-26 16:20:42 +02:00
Fabian-Lars	3fddf476de	ci: set up covector (#329) ... * ci: set up covector * remove postpublish * push new tags to mirrors * fetch tags of current repo in workflow file * use our fork of create-pull-request action * fmt * use org tokens * simplify string subst * fmt again	2023-04-25 17:31:33 +02:00
Amr Bashir	ea288b03a0	ci: continuation of #318	2023-04-17 17:56:57 +02:00
Amr Bashir	6ada0a1122	ci: fix sync script action URL (#318)	2023-04-17 17:50:42 +02:00
Amr Bashir	6f39921dbe	ci: use original commiter author instead of actor (#310) ... * ci: use original commiter author instead of actor * Update sync-to-mirrors.sh * Update sync-to-mirrors.sh * Update sync-to-mirrors.sh	2023-04-17 17:25:35 +02:00
Jonas Kruckenberg	89650db1b1	Update sync-to-mirrors.sh	2023-01-06 17:27:04 +01:00
Jonas Kruckenberg	2f713b7fc5	don't force add	2023-01-06 17:21:48 +01:00
Jonas Kruckenberg	c10dd0acea	Update sync-to-mirrors.sh	2022-12-15 16:06:11 +01:00
Jonas Kruckenberg	a6ae66344c	Update sync-to-mirrors.sh	2022-12-15 16:04:44 +01:00
Jonas Kruckenberg	366e17feae	Update sync-to-mirrors.sh	2022-12-15 11:37:10 +01:00
Jonas Kruckenberg	dcc2cf25bf	wip	2022-12-15 11:35:17 +01:00
Jonas Kruckenberg	aaeeb0f4fa	add sync action	2022-12-15 11:32:48 +01:00