GitHub has recently changed the default branch in a git repo from master to main. This is one chapter that still references master. You may want to go through the whole guide and update the primary branch name at some point.
It’s a slightly big change. We’ll look into it at some point. Feel free to open a PR.