devtools: Switching "#!/usr/bin/env bash" -> "#!/bin/sh" again

[mediagoblin.git] / devtools / update_translations.sh

diff --git a/devtools/update_translations.sh b/devtools/update_translations.sh
index 5a4275fdb0d99a6cc725df525e62b51954fd0dac..29d3a5fc4f16aac10706ba6334c2d0f30cfd1c07 100755 (executable)
--- a/devtools/update_translations.sh
+++ b/devtools/update_translations.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 # GNU MediaGoblin -- federated, autonomous media hosting
 # Copyright (C) 2011, 2012 GNU MediaGoblin contributors.  See AUTHORS.
@@ -19,13 +19,11 @@
 # exit if anything fails
 set -e
 
-## Maybe we'll uncomment these post-merge to master
+echo "==> checking out master"
+git checkout master
 
-# echo "==> checking out master"
-# git checkout master
-
-# echo "==> pulling git master"
-# git pull
+echo "==> pulling git master"
+git pull
 
 echo "==> pulling present translations"
 rsync --exclude-from="devtools/pootle-exclude.txt" -vaz chapters.gnu.org::pootle/mediagoblin/ mediagoblin/i18n/