Change in gerrit-admin[master]: Changing from wget to curl