11 Commits

Author	SHA1	Message	Date
Matthias	9ebdbed215	Update CI workflows to use 3.12	2024-05-18 15:22:46 +02:00
Matthias	055c4396d1	De-dent pre-commit update workflow	2024-03-31 08:32:18 +02:00
dependabot[bot]	667a8cc59f	Bump peter-evans/create-pull-request from 5 to 6 ... Bumps [peter-evans/create-pull-request](https://github.com/peter-evans/create-pull-request) from 5 to 6. - [Release notes](https://github.com/peter-evans/create-pull-request/releases) - [Commits](https://github.com/peter-evans/create-pull-request/compare/v5...v6) --- updated-dependencies: - dependency-name: peter-evans/create-pull-request dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>	2024-02-05 03:59:04 +00:00
Matthias	cfc6d3b32f	Apply "Dependencies" label to pull requests	2024-01-30 07:04:53 +01:00
Matthias	3cb4b10656	Specify python version for pre-commit update	2023-12-23 09:08:55 +01:00
Matthias	9ab08d513a	Update committer in pre-commit workflow	2023-12-21 20:13:52 +01:00
Matthias	87ce7dc02c	Reduce permissions	2023-12-21 20:12:23 +01:00
Matthias	3c7c4bc02f	Use repo scoped token	2023-12-21 19:54:11 +01:00
Matthias	0484b891f1	Add tech maintenance label	2023-12-21 19:39:45 +01:00
Matthias	71689d9d6f	Allow write access to action to allow creating the branch	2023-12-21 19:34:21 +01:00
Matthias	3676514ba6	Add pre-commit auto-update workflow	2023-12-21 19:18:50 +01:00