BTW, I think we need to add `project.properties` into `.gitignore`
I think a lot of PR includes modified `project.properties` and those PR are rejected because of that (which makes sense).
So, in order to help our developers to create PR, I think it is safe to add the `project.properties` into `.gitignore`.

thoughts?