Commit graph

2 commits

Author SHA1 Message Date
Fini Jastrow
b94dd2ca2d CI: Fix contributor update
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
2023-01-27 15:44:14 +01:00
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