#!/bin/sh

git branch -D pr-1297
git branch -D pr-1338

# fetch PRs
git fetch upstream pull/1338/head:pr-1338
git fetch upstream pull/1297/head:pr-1297