[tei-council] TCW22 Q

In http://www.tei-c.org/Activities/Council/Working/tcw22.xml "On release day" step #5 says to `git checkout dev` where I think it might mean `git checkout master`. Can someone confirm and fix or explain why it's not "master"?