(fix #55) Enforce *.ini naming on push/pull/delete
3.0.13