O município de Ibirapuitã tem um vínculo histórico com outra cidade gaúcha, da qual foi distrito antes de ser elevado à categoria de cidade, em 1987. A região onde se localiza Ibirapuitã foi distrito oficial de qual outra cidade do Rio Grande do Sul?