Add `replace_github_pr`.
Add desc.