Athanasius 640223472b

github/submodule-update: Remove unused 'Add labels' step ...

1. This was commented out.
2. It's not necessarily up to date with what *works*, so just delete it.

2022-12-17 11:26:51 +00:00

..

ISSUE_TEMPLATE

Minor fixes in bug_report.md

2021-06-19 19:13:43 +05:00

workflows

github/submodule-update: Remove unused 'Add labels' step

2022-12-17 11:26:51 +00:00

dependabot.yml

Create dependabot config file

2020-10-05 12:17:23 +01:00