gistfile1.txt

/**
 * Provision verify command
 *
 * Disable an enabled and installed site
 */
function drush_provision_drupal_provision_verify_validate() {
  if (d()->type === 'site') {
    drush_bootstrap(DRUSH_BOOTSTRAP_DRUPAL_SITE);
    provision_prepare_environment();

    _provision_drupal_create_settings_file();
    provision_drupal_push_site();

    drush_errors_on();
    $rrFile = d()->root . '/sites/all/modules/registry-rebuild.ini';
    if (provision_file()->exists($rrFile)->status()) {
      if (drush_drupal_major_version() < 8 && d()->profile != 'hostmaster') {
        provision_backend_invoke(d()->name, 'registry-rebuild');
        drush_log(dt('Completed registry-rebuild without --no-cache-clear option'));
      }
    }
    drush_bootstrap(DRUSH_BOOTSTRAP_DRUPAL_FULL);
  }
}