#!/bin/bash

git fetch origin pull/$1/head && git checkout FETCH_HEAD