Merge pull request #4628 from oobabooga/dev

Merge dev branch
This commit is contained in:
oobabooga 2023-11-16 23:47:07 -03:00 committed by GitHub
commit f889302d24
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -242,7 +242,7 @@ def update_requirements(initial_installation=False):
# Check for differences in installation file hashes # Check for differences in installation file hashes
for file_name in files_to_check: for file_name in files_to_check:
if before_pull_hashes[file_name] != after_pull_hashes[file_name]: if before_pull_hashes[file_name] != after_pull_hashes[file_name]:
print(f"File '{file_name}' was updated during 'git pull'. Please run the script again.") print_big_message(f"File '{file_name}' was updated during 'git pull'. Please run the script again.")
exit(1) exit(1)
# Extensions requirements are installed only during the initial install by default. # Extensions requirements are installed only during the initial install by default.