#!/bin/bash

curl -s https://api.github.com/repos/lnbook/lnbook/pulls | jq '.[]|.number' | while read pr; do
  git fetch --quiet github refs/pull/$pr/head
  if git show --pretty=format:'' --name-only FETCH_HEAD | grep -q $1; then
    echo "PR $pr"
  fi
done