Skip to content

Commit

Permalink
mongodb source.json change from tgz to zip
Browse files Browse the repository at this point in the history
  • Loading branch information
kocoten1992 authored and crazywhalecc committed Aug 18, 2023
1 parent 61d1507 commit b97327d
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions config/source.json
Original file line number Diff line number Diff line change
Expand Up @@ -295,7 +295,7 @@
"type": "ghrel",
"repo": "mongodb/mongo-php-driver",
"path": "php-src/ext/mongodb",
"match": "mongodb.+\\.tgz",
"match": "mongodb.+\\.zip",
"license": {
"type": "file",
"path": "LICENSE"
Expand Down Expand Up @@ -467,4 +467,4 @@
"path": "LICENSE"
}
}
}
}

0 comments on commit b97327d

Please sign in to comment.