5 for i
in ${source[@]}; do
6 if echo $i |
grep -E '^git\+https://' >/dev
/null
; then
7 URL
=$
(echo $i |
sed 's|git+||' | cut
-f1 -d#)
8 HASH
=$
(git ls-remote
$URL refs
/heads
/master |
awk -- '{print $1}')
9 echo " \"git+$URL#commit=$HASH\""