fix: add error message for github PR url in dep#15003

Open

joshka wants to merge 4 commits intorust-lang:masterfrom joshka:jm/git-pr-url

+119

Commits on Jan 2, 2025

fix: add error message for github PR url in dep
joshka
committed

Commits on Jan 3, 2025

fix: tweak message and add test for patch
joshka
committed

Commits on Jan 9, 2025