GitHub repository: tarides/pr-number-action
Description: GitHub action that posts suggestions to substitute the correct PR number