#!/bin/bash

echo "This script disables pushing of the internal git tree to public mirrors. Use it"
echo "if an embargoed security fix has been accidentally pushed to a public branch."
echo "Please describe the reason to cancel mirroring (hit Return to cancel):"
read -p "> " -e
if test -z "$REPLY"; then
	echo "No reason given, exiting"
	exit 1
fi

(set -x; curl -d "reason=$REPLY" http://kerncvs.suse.de/stop-sync.cgi)
res=$?
if test $res -ne 0; then
	echo "The curl command failed. Please check your vpn config before panicking."
fi
exit $res