⚙️ Fixes an issue that occurred when a pull request was created from a repository fork (using push-to-fork), where the repository had been renamed from its original name.
What's Changed
- fix: use full name for head branch to allow for repo renaming by @peter-evans in #1164
Full Changelog: v4.0.1...v4.0.2
Contributors
peter-evans