Revert "Reglas git ignore"

This reverts commit 8297f04653ec8522179cb3350ce157224776b0b5.