Attempt at deleting repo when platform is deleted.
Merge branch '6.x-2.x' of git.drupal.org:project/devshop_hosting into 6.x-2.x