#!/usr/bin/env bash
set -eu
repro_dir=$(mktemp -d)
git init "$repro_dir"
git -C "$repro_dir" remote add origin https://github.com/juliusmarminge/t3code.git
git -C "$repro_dir" remote add upstream https://github.com/pingdotgg/t3code.git
git -C "$repro_dir" config remote.origin.gh-resolved base
git -C "$repro_dir" -c user.name=Repro -c user.email=repro@example.test commit --allow-empty -m repro
printf 'Add this checkout through Add project > Local folder: %s\n' "$repro_dir"
printf 'Open Pull Requests > Filters > Project > the added checkout. Main incorrectly lists upstream PRs.\n'