mirroring/clone.sh

   1 #!/bin/bash
   2
   3 . @basedir@/shlib.sh
   4
   5 set -e
   6
   7 projdir="$1"
   8 proj="${projdir%.git}"
   9
  10 bang_setup
  11 bang_action="clone"
  12 bang_trap() {
  13         # This removes our stage directory _and_ gets rid of the group record.
  14         perl -I@basedir@ -MGirocco::Project -e 'Girocco::Project->load('"'$proj'"')->delete;'
  15 }
  16
  17 cd "$cfg_reporoot/$projdir"
  18 url="$(cat base_url)"
  19 mail="$(cat owner)"
  20
  21 # Configure
  22 bang git config --bool --add mirror.allowed true
  23 bang git remote add origin "$url" # superfluous?
  24
  25 # Initial mirror
  26 bang git mirror "$url"
  27 bang git update-server-info
  28
  29 mail -s "[$cfg_name] $proj clone completed" "$mail,$cfg_admin" <<EOT
  30 Congratulations! The clone of project $proj just completed.
  31
  32         * GitWeb interface: $cfg_gitweburl/$projdir
  33         * Project settings: $cfg_webadmurl/editproj.cgi?name=$proj
  34
  35 Have a lot of fun.
  36 EOT