#!/usr/bin/env bash
if (( $# < 1 ))
then
  echo "usage: ghpatch <github PR url>"
fi
curl -sL "$1.patch"