diff options
| -rw-r--r-- | src/third_party/wiredtiger/import.data | 4 | ||||
| -rwxr-xr-x | src/third_party/wiredtiger/test/evergreen.yml | 9 |
2 files changed, 10 insertions, 3 deletions
diff --git a/src/third_party/wiredtiger/import.data b/src/third_party/wiredtiger/import.data index 8d742229a84..fc035b49073 100644 --- a/src/third_party/wiredtiger/import.data +++ b/src/third_party/wiredtiger/import.data @@ -1,6 +1,6 @@ { "vendor": "wiredtiger", "github": "wiredtiger/wiredtiger.git", - "branch": "mongodb-master", - "commit": "874f9a4cb6cb4190c62e31082e8c3975daae086e" + "branch": "mongodb-5.1", + "commit": "ebae8de6ec50d4adefd96e053e579d184f2e0927" } diff --git a/src/third_party/wiredtiger/test/evergreen.yml b/src/third_party/wiredtiger/test/evergreen.yml index 4b53ac2c8aa..990c6fdc2c2 100755 --- a/src/third_party/wiredtiger/test/evergreen.yml +++ b/src/third_party/wiredtiger/test/evergreen.yml @@ -313,11 +313,18 @@ functions: done - command: shell.exec params: - working_dir: "wiredtiger.github.com" shell: bash silent: true script: | set -o errexit + + # We could have exited the previous command for the same reason. + if [[ "${branch_name}" != "develop" ]]; then + echo "We only run the documentation update task on the WiredTiger (develop) Evergreen project." + exit 0 + fi + + cd wiredtiger.github.com git push https://"${doc-update-github-token}"@github.com/wiredtiger/wiredtiger.github.com "make check directory": |