Getting local.properties pushed to GitHub so the build will work.