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

add space 

GitOrigin-RevId: 03094593da43b8439cb0cea263a7c806d0a873d3
This commit is contained in:
Juan Gu 2023-11-28 04:25:00 +00:00 committed by MongoDB Bot
parent 9e3898b434
commit 5e42c2cc92
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
buildscripts/sync_repo_with_copybara.py
View File

@ -116,6 +116,8 @@ def main():
expansions["app_id_copybara_syncer"], expansions["private_key_copybara_syncer"], expansions["app_id_copybara_syncer"], expansions["private_key_copybara_syncer"],
expansions["installation_id_copybara_syncer"]) expansions["installation_id_copybara_syncer"])
# Create the mongodb-bot.gitconfig file as necessary. # Create the mongodb-bot.gitconfig file as necessary.
create_mongodb_bot_gitconfig() create_mongodb_bot_gitconfig()