Commit some ignored file and update the .gitignore