Christoph Reiter 013a10eb2a CI: use the staging repo ...

This should allow us to build against packages already merged
but not in the repo.

2021-02-28 15:06:34 +01:00

..

ISSUE_TEMPLATE

bug_report.md: clean up a bit, remove bug label

2020-10-28 19:47:50 +01:00

workflows

CI: use the staging repo

2021-02-28 15:06:34 +01:00