Some files were not pushed. So if it is a new file that we create, we
must right click on it and "Add to Index" first and then commit. Done
that now.