add parameter 'options' when calling pushLocalChanges()