This repository has been archived on 2023-03-18. You can view files and clone it, but cannot push or open issues or pull requests.

Gerhard Schlager 951b653d9d DEV: Add 'i18n' label to PRs which include changes related to i18n		2023-01-31 15:08:22 +01:00
..
documentation.yml	DEV: introduces documentation for chat (#19772)	2023-01-18 12:36:16 +01:00
labeler.yml	DEV: Add 'i18n' label to PRs which include changes related to i18n	2023-01-31 15:08:22 +01:00
licenses.yml	DEV: Correct private-fork -> private-mirror (#19560)	2022-12-21 16:52:35 +00:00
linting.yml	DEV: Introduce syntax_tree code formatter (#19775)	2023-01-07 11:11:08 +00:00
tests.yml	DEV: Fix GitHub CI permissions issues (#20069)	2023-01-30 15:39:43 +00:00