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 <osmith(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: fixeria <vyanitskiy(a)sysmocom.de> Gerrit-Reviewer: osmith <osmith(a)sysmocom.de> Gerrit-Reviewer: pespin <pespin(a)sysmocom.de> Gerrit-MessageType: merged