mirror
/
mongo
mirror of https://github.com/mongodb/mongo
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

SERVER-89899 Delete enterprise repo related code from evergreen/feature_flag_tags_check.sh (#21565) 

GitOrigin-RevId: 5b70c9e4aa9918ebd49b55a3b8fe93406b527776
This commit is contained in:
Mikhail Shchatko 2024-04-26 20:42:17 +03:00 committed by MongoDB Bot
parent 73652d8eda
commit 218cd48e92
1 changed files with 0 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
evergreen/feature_flag_tags_check.sh
View File

@ -21,14 +21,6 @@ if [ -s "$diff_file_name" ]; then
git apply -R "$diff_file_name"
fi
# This script has to be run on an Evergreen variant or local repo with the enterprise module.
pushd "$enterprise_path"
git --no-pager diff "$(git merge-base origin/${branch_name} HEAD)" --output="$diff_file_name" --binary
if [ -s "$diff_file_name" ]; then
git apply -R "$diff_file_name"
fi
popd
$python buildscripts/idl/gen_all_feature_flag_list.py
mv all_feature_flags.txt base_all_feature_flags.txt