developer cannot even do this

developer cannot even do rgetem, so it's pointless to add this type of change in there.  since developer also shouldn't see any checkout problems in the fred area, just drop this code.

diff --git a/scripts/site_avenger/revamp_cakelampvm.sh b/scripts/site_avenger/revamp_cakelampvm.sh
index 950ad5bcae0a763c1d5e2eb766ba5dd9784fe101..ccd3ed9cb0a682041e2296b7d69ec1abd361de78 100644 (file)
--- a/scripts/site_avenger/revamp_cakelampvm.sh
+++ b/scripts/site_avenger/revamp_cakelampvm.sh
@@ -129,41 +129,6 @@ fi
 
 ##############
 
-# clean out some old files that were not checked in in mapsdemo.
-echo Doing some git repository maintenance in fred account.
-#
-# change over to fred folder
-pushd /home/fred
-test_or_die "changing dir to fred's home; what have you done with fred?"
-
-pushd apps/mapsdemo/avenger5
-test_or_die "changing dir to mapsdemo app"
-
-rgetem . &>/dev/null
-if [ $? -ne 0 ]; then
-  # it seems our old files are still conflicting this.
-  if [ -f config/config_google.php ]; then
-    \rm -f config/config_google.php
-    test_or_die "removing old config for google"
-  fi
-  if [ -f config/app.php ]; then
-    \rm -f config/app.php
-    test_or_die "removing old config for app"
-  fi
-
-  git reset --hard HEAD
-  test_or_die "resetting git's hard head"
-
-  rgetem .
-#hmmm: use output saver thing when that exists.
-  test_or_die "getting mapsdemo app after inadequate corrective action was taken"
-fi
-
-popd
-
-popd
-#...coolness, if we got to here.
-
 ##############
 
 # sequel--tell them they're great and show the hello again also.