osmith has submitted this change. (
https://gerrit.osmocom.org/c/osmo-ci/+/29488 )
Change subject: scripts/common: remove osmo_git_clone_date
......................................................................
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(-)
Approvals:
Jenkins Builder: Verified
fixeria: Looks good to me, but someone else must approve
pespin: Looks good to me, approved
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 https://gerrit.osmocom.org/c/osmo-ci/+/29488
To unsubscribe, or for help writing mail filters, visit
https://gerrit.osmocom.org/settings
Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Change-Id: I10cbb598f0d5d675034ca87568a8b6f1920f2ad3
Gerrit-Change-Number: 29488
Gerrit-PatchSet: 1
Gerrit-Owner: osmith <[email protected]>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: fixeria <[email protected]>
Gerrit-Reviewer: osmith <[email protected]>
Gerrit-Reviewer: pespin <[email protected]>
Gerrit-MessageType: merged
