Jörg Thalheim ec2b0bff69 github workflows: also run on bors branch		2022-09-29 23:31:41 +02:00
..
workflows	github workflows: also run on bors branch	2022-09-29 23:31:41 +02:00
dependabot.yml	switch to github actions from travis	2020-11-29 17:36:04 +01:00
PULL_REQUEST_TEMPLATE.md	delete travis or change to github actions in docs and CODEOWNERS	2021-02-25 22:53:03 +01:00