Distribution maintenance: gitignore file