Sua população estimada em 2010 era de 6.028 habitantes.

No século XVIII, o território pertencia ao município de Vila Buarque até ⚾️ o início do século XIX.

A cidade foi fundada por imigrantes italianos, escravos e açorianos residentes na região de Vila Buarque ⚾️ durante a segunda metade do século XVIII.

Em 17 de março de 1831, o Padre Inácio Pereira Peixoto Coelho fundou a ⚾️ cidade com a denominação de Vila do Porto, e depois a cidade transformou-se em uma

paróquia católica de Santo Antônio da ⚾️ Patrulha, em 17 de outubro de 1835.