Skip to content

Instantly share code, notes, and snippets.

View marc-hb's full-sized avatar

Marc Herbert marc-hb

View GitHub Profile
@marc-hb
marc-hb / depth1.patch
Created March 16, 2021 04:24
west --depth 1 hack
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/*'),
@marc-hb
marc-hb / workers_queue.py
Created July 10, 2019 03:06
ThreadPool + Workers queue
import queue
import concurrent
import time
import random
from concurrent import futures
import threading
njobs = 20
submission_interval = 0.2
max_work_duration = 3