Autodeploy from GitHub?

All of the help files talk about how to autodeploy when I post changes to my GitHub Repo but for the life of me I can’t find that option. I’m on a paid plan, although it is Replit Core.

Does anyone else have this working? I’m doing most of my coding in vs.code now, so I just want Replit to publish when it gets an update from GitHub…and I’m struggling to figure that bit out