def drop(self, repo, args=[]):
<EOL>rootdir = repo.rootdir<EOL>if os.path.exists(rootdir):<EOL><INDENT>print("<STR_LIT>".format(rootdir))<EOL>shutil.rmtree(rootdir)<EOL><DEDENT>server_repodir = self.server_rootdir_from_repo(repo,<EOL>create=False)<EOL>if os.path.exists(server_repodir):<EOL><INDENT>print("<STR_LIT>".format(server_repodir))<EOL>shutil.rmtree(server_repodir)<EOL><DEDENT>super(GitRepoManager, self).drop(repo)<EOL>return {<EOL>'<STR_LIT:status>': '<STR_LIT:success>',<EOL>'<STR_LIT:message>': "<STR_LIT>"<EOL>}<EOL>
Cleanup the repo