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.