From 8d9cace469911ab2041c36d1898adf312b98cd1d Mon Sep 17 00:00:00 2001 From: crazywhalecc Date: Sat, 14 Oct 2023 15:09:37 +0800 Subject: [PATCH] fix mongodb release file match --- config/source.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config/source.json b/config/source.json index 9859cd33..84d16d16 100644 --- a/config/source.json +++ b/config/source.json @@ -323,7 +323,7 @@ "type": "ghrel", "repo": "mongodb/mongo-php-driver", "path": "php-src/ext/mongodb", - "match": "mongodb.+\\.zip", + "match": "mongodb.+\\.tgz", "license": { "type": "file", "path": "LICENSE"