Fini Jastrow 7d79a489eb CI: Create CI for contributors update ... [why] It's a pain to have the addition of contributors automated via all-contributors bot, but then it does not end up on the webpage. [how] I'm not sure it will automatically be triggered (pretty sure it will not), but at least one can clickstart manually the workflow. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>		2023-01-27 15:34:25 +01:00
..
ISSUE_TEMPLATE	Update bug_report.md	2022-12-21 17:18:33 +01:00
workflows	CI: Create CI for contributors update	2023-01-27 15:34:25 +01:00
PULL_REQUEST_TEMPLATE.md	Remove mentions of master branch [skip ci]	2022-10-17 11:50:53 +02:00