No I did not.
What’s the URL in the browser at that page?
Something like this with your ID
Comparing ham2k:main...alanmcd:patch-1 · ham2k/polo.ham2k.com · GitHub
I still have the page open and this is the URL:
And if you go here:
Do you see a pull request button?
I don’t remember seeing that option.