Ask HN: Did GitHub remove the CLI checkout instructions from PRs? | Dark Hacker News