Some git(hub) mysteries on an ignore file not being uploaded...