Christian Clauss dad789d903 Get rid of the Union (#6246) ... * Get rid of the Union * updating DIRECTORY.md * Get rid of the Union * Remove the redundant pre-commit runs. Co-authored-by: github-actions <${GITHUB_ACTOR}@users.noreply.github.com>		2022-07-11 13:11:17 +02:00
..
workflows	Get rid of the Union (#6246)	2022-07-11 13:11:17 +02:00
CODEOWNERS	Update CODEOWNERS (#3280)	2020-10-14 11:05:17 +02:00
pull_request_template.md	Fix pull request template (#5633)	2021-10-27 19:18:21 +02:00
stale.yml	Update stalebot to take 5 actions per hour (#3922)	2020-11-25 13:23:49 +05:30