2018-02-05 15:47:39 +01:00
|
|
|
#!/bin/bash
|
|
|
|
#
|
|
|
|
# Just mirror (clone or fetch) specified git repository
|
|
|
|
# - no other mess (eg submodules, just clean mirror)
|
|
|
|
#
|
|
|
|
# Usage:
|
|
|
|
# mirror-main-repo <url>
|
|
|
|
|
|
|
|
|
|
|
|
# Unofficial strict mode
|
|
|
|
set -euo pipefail
|
|
|
|
IFS=$'\n\t'
|
|
|
|
|
|
|
|
source $(dirname $(realpath $0))/gen-mirror-path
|
|
|
|
|
|
|
|
function updateOrCreate(){
|
2022-07-29 17:03:15 +02:00
|
|
|
# implemented in RepoTool
|
2018-02-05 15:47:39 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
function getLastCommit(){
|
2022-07-29 17:03:15 +02:00
|
|
|
# replaced by git_tool repo hash
|
2018-02-05 15:47:39 +01:00
|
|
|
}
|
|
|
|
|
2022-07-29 17:03:15 +02:00
|
|
|
updateOrCreate $1
|