#!/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