[Question] are push events just ignored by Atlantis?

[jasonrberk]

the documentation states (for Github), that webhooks should be enabled on Pushes, but I see this in the code:

https://github.com/runatlantis/atlantis/blob/master/server/controllers/events/events_controller.go#L148-L159

I'm confused on if Push events should be sent to Atlantis. Is the documentation out of date? I'm writing a thin proxy between my ALB and my Atlantis container and I'd rather not handle pushes in my proxy if Atlantis is just "ignoring them".