Git ignore file ignored, I guess. Pushed with -f.