Revert "git ignore"

This reverts commit a2da4b4b4ac112b7bb997a518cbee4e394f588cb, reversing
changes made to 93bd0f1ed6b090a2222c1f067c8fc3e35f993f79.