check in accidentally removed /bin/.gitignore