pullify as taken from some other gist.

pullify.sh

pullify() {
	REMOTES=$(
		echo '+refs/pull/*/head:refs/remotes/origin/pr/*' ;
		git config --get-all remote.origin.fetch | grep -v 'refs/remotes/origin/pr/\*$'
	)
	git config --unset-all remote.origin.fetch
	echo "$REMOTES" | while read LINE ; do
		git config --add remote.origin.fetch "$LINE"
	done
}