Move the last of AUTHORS to CONTRIBUTORS.md

unode · Apr 27, 2023 · 45228ee · 45228ee
1 parent be1e85e
commit 45228ee
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 31 deletions.
diff --git a/AUTHORS b/AUTHORS
diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md
@@ -1,4 +1,4 @@
-## Contributors
+# Contributors
 
 <!-- ALL-CONTRIBUTORS-LIST:START - Do not remove or modify this section -->
 <!-- prettier-ignore-start -->
@@ -42,10 +42,12 @@
 <!-- prettier-ignore-end -->
 
 <!-- ALL-CONTRIBUTORS-LIST:END -->
-<!-- prettier-ignore-start -->
-<!-- markdownlint-disable -->
 
-<!-- markdownlint-restore -->
-<!-- prettier-ignore-end -->
+## Third-party credit
 
-<!-- ALL-CONTRIBUTORS-LIST:END -->
+As third party developers often go uncredited, we'd also like to extend our
+thanks to:
+
+    Wilhelm Schuermann  (@wbsch)            - bash_tap
+    Paul Beckingham     (@taskwarrior)      - test scripts
+    Hubert Kario                            - pointed out the solution for v59 profile changes