This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
diff --git a/src/west/app/project.py b/src/west/app/project.py | |
index b7abd1105be7..7c8a7a621736 100644 | |
--- a/src/west/app/project.py | |
+++ b/src/west/app/project.py | |
@@ -373,16 +373,16 @@ With neither, -m {MANIFEST_URL_DEFAULT} is assumed. | |
if maybe_sha: | |
# Fetch the ref-space and hope the SHA is contained in | |
# that ref-space | |
- self.check_call(('git', 'fetch', 'origin', '--tags', | |
- '--', 'refs/heads/*:refs/remotes/origin/*'), |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import queue | |
import concurrent | |
import time | |
import random | |
from concurrent import futures | |
import threading | |
njobs = 20 | |
submission_interval = 0.2 | |
max_work_duration = 3 |