[ad hoc] push .gitignore file