Since GitHub changed its policy on default branch name from "master" -> "main", this workshop should be updated to reflect that.