5 - Offer to reset repo for user at end of failed build.

	modified:   buildmanager.drush.inc