You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

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		2 years ago
..
workflows	ci: set up covector (#329)	2 years ago
CODEOWNERS	admin: Initial CODEOWNERS file	2 years ago
sync-to-mirrors.sh	ci: set up covector (#329)	2 years ago