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.