Florian WilhelmandGitHub f5df533c68 Allow trigger IT via github UI (#1830) ...

cf https://docs.github.com/en/actions/configuring-and-managing-workflows/configuring-a-workflow\#manually-running-a-workflow

2020-07-23 11:43:59 +02:00

..

workflows

Allow trigger IT via github UI (#1830)

2020-07-23 11:43:59 +02:00

CONTRIBUTING.md

…

PULL_REQUEST_TEMPLATE.md

…