log a notice if we can't update the GitHub PR