twisted-pr-as-branch

#!/bin/sh

set -e
set -u


# Too lazy for proper options parsing

    PR_NUMBER="$1"; shift;
TICKET_NUMBER="$1"; shift;
  BRANCH_NAME="$1"; shift;


#repo="https://github.com/twisted/twisted.git";
repo="git@github.com:twisted/twisted.git";

clone="$(mktemp -d -t twisted)";

git clone --progress "${repo}" "${clone}";

cd "${clone}";

git fetch origin "refs/pull/${PR_NUMBER}/head";
git push origin "FETCH_HEAD:refs/heads/${TICKET_NUMBER}-${BRANCH_NAME}";

rm -fr "${clone}";