Repo: Use force for adding files normally ignored by git