patch 9.0.0573: outdated dependencies go unnoticed

Problem:    Outdated dependencies go unnoticed.
Solution:   Use github Dependabot. (closes #11213)

diff --git a/.github/dependabot.yml b/.github/dependabot.yml
new file mode 100644 (file)
index 0000000..5ace460
--- /dev/null
+++ b/.github/dependabot.yml
@@ -0,0 +1,6 @@
+version: 2
+updates:
+  - package-ecosystem: "github-actions"
+    directory: "/"
+    schedule:
+      interval: "weekly"

diff --git a/src/version.c b/src/version.c
index b07c0131df80bb305d1f8a2e8b4dfb18487d173f..44286871224616d7157c4e83c4a859acc976f264 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -699,6 +699,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    573,
 /**/
     572,
 /**/