change repository owner (#1801)

2023-05-16 16:14:20 +02:00
parent a14246d776
commit 39c072edd6
96 changed files with 185 additions and 188 deletions
@@ -1,11 +1,11 @@
-name: issue-link
+name: issue-lint

 on:
  issues:
    types: [opened]

 jobs:
-  issue-link:
+  issue-lint:
    runs-on: ubuntu-latest

    steps: