osmith submitted this change.
scripts/common: remove osmo_git_clone_date
This had been added for debugging purposes and isn't used anymore. Also
one less hit for git grep git.osmocom.org.
Change-Id: I10cbb598f0d5d675034ca87568a8b6f1920f2ad3
---
M scripts/common.sh
1 file changed, 0 insertions(+), 10 deletions(-)
diff --git a/scripts/common.sh b/scripts/common.sh
index 6d93cc8..227f965 100644
--- a/scripts/common.sh
+++ b/scripts/common.sh
@@ -110,16 +110,6 @@
echo "$ret" | cut -d/ -f 3
}
-# Pass all arguments to "git clone", but write the current date and time before the clone and on failure.
-# This helps analyzing errors with git.osmocom.org (OS#4083).
-osmo_git_clone_date() {
- date "+%Y-%m-%d %H:%M:%S"
- if ! git clone "$@"; then
- date "+%Y-%m-%d %H:%M:%S"
- exit 1
- fi
-}
-
# Echo git clone URL for an Osmocom git repository. For projects developed on
# gerrit, use the gerrit URL to avoid the mirror sync delay, for other
# repositories use the gitea URL.
To view, visit change 29488. To unsubscribe, or for help writing mail filters, visit settings.