remove unneeded link to GitHub PR instructions