Ottomata has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/365669 )
Change subject: No longer push to public data repo, we don't use it
......................................................................
No longer push to public data repo, we don't use it
Bug: T152712
Change-Id: Ib7c7ac41d75b273208fedda7ba10e1867ac3246b
---
M scripts/make_and_push_limn_files.sh
1 file changed, 1 insertion(+), 10 deletions(-)
Approvals:
Ottomata: Verified; Looks good to me, approved
diff --git a/scripts/make_and_push_limn_files.sh
b/scripts/make_and_push_limn_files.sh
index a49008e..d4a0c83 100755
--- a/scripts/make_and_push_limn_files.sh
+++ b/scripts/make_and_push_limn_files.sh
@@ -41,7 +41,6 @@
#---------------------------------------------------
# Filtering parameters
CRON_MODE=no
-BASE_DIR_PUBLIC_DIR_REL=
BASE_DIR_PRIVATE_DIR_REL=
for PARAM in "$@"
do
@@ -49,9 +48,6 @@
"--help" | "-h" )
"$MAIN_SCRIPT_FILE_ABS" --help
exit 0
- ;;
- "--basedir_public="* | "-d="* )
- BASE_DIR_PUBLIC_DIR_REL="${PARAM//*=/}"
;;
"--basedir_private="* )
BASE_DIR_PRIVATE_DIR_REL="${PARAM//*=/}"
@@ -76,11 +72,6 @@
exit "$EXIT_CODE"
fi
-if [ -z "$BASE_DIR_PUBLIC_DIR_REL" ]
-then
- error "No --basedir_public provided."
-fi
-
if [ -z "$BASE_DIR_PRIVATE_DIR_REL" ]
then
error "No --basedir_private provided."
@@ -91,7 +82,7 @@
foreach_data_repo() {
local REPO_DIR_REL
- for REPO_DIR_REL in "$BASE_DIR_PRIVATE_DIR_REL"
"$BASE_DIR_PUBLIC_DIR_REL"
+ for REPO_DIR_REL in "$BASE_DIR_PRIVATE_DIR_REL"
do
pushd "$REPO_DIR_REL" >/dev/null
"$@"
--
To view, visit https://gerrit.wikimedia.org/r/365669
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib7c7ac41d75b273208fedda7ba10e1867ac3246b
Gerrit-PatchSet: 1
Gerrit-Project: analytics/geowiki
Gerrit-Branch: master
Gerrit-Owner: Ottomata <[email protected]>
Gerrit-Reviewer: Ottomata <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
