From 45ae68a776b3711c504f0de481fe4b31b9d20f92 Mon Sep 17 00:00:00 2001
From: Daniel Langbein <daniel@systemli.org>
Date: Wed, 18 May 2022 17:57:41 +0200
Subject: [PATCH] shorter delay between git pulls

---
 git-pull | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/git-pull b/git-pull
index fae725e..b8f243a 100755
--- a/git-pull
+++ b/git-pull
@@ -3,5 +3,4 @@
 git pull || exit $?
 git submodule foreach 'git checkout master || git checkout main' || exit $?
 # Sleep after each `git pull` to avoid `429 too many requests`.
-# 5s is not enough.
-git submodule foreach 'sleep 7.5s; if git pull | grep '\''^Updating'\''; then printf " %s" "$(basename $sm_path)" >> $toplevel/build-pkg/pkglist.tmp; fi'
+git submodule foreach 'sleep 3s; if git pull | grep '\''^Updating'\''; then printf " %s" "$(basename $sm_path)" >> $toplevel/build-pkg/pkglist.tmp; fi'