diff options
| author | Oliver Smith <osmith@sysmocom.de> | 2022-09-26 14:51:34 +0200 |
|---|---|---|
| committer | Oliver Smith <osmith@sysmocom.de> | 2022-09-26 14:54:01 +0200 |
| commit | a5521ff99e9ec0b1f267fb012c676625026427f2 (patch) | |
| tree | 1b1ee371a822db8759f4e54c7b7e23de79de4e85 | |
| parent | 6c7a2076cf478e8ef9d23914580b21e0b043b699 (diff) | |
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
| -rw-r--r-- | scripts/common.sh | 10 |
1 files 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 @@ osmo_git_last_tags() { 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. |