no longer use gitmodule, ignore local properties