jenkins-bot has submitted this change and it was merged.

Change subject: repository: do not create directory for fossil
......................................................................


repository: do not create directory for fossil

Because it clone fails if the directory already exists.

Change-Id: I209775105ef556f18817b93dca1f83d95b050deb
Signed-off-by: Loic Dachary <l...@dachary.org>
---
M FLOSSbot/repository.py
1 file changed, 0 insertions(+), 2 deletions(-)

Approvals:
  Dachary: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/FLOSSbot/repository.py b/FLOSSbot/repository.py
index 90711d8..923cad0 100644
--- a/FLOSSbot/repository.py
+++ b/FLOSSbot/repository.py
@@ -352,8 +352,6 @@
         return util.sh_bool("""
         set -e
         rm -fr /tmp/tmpclone
-        mkdir /tmp/tmpclone
-        cd /tmp/tmpclone
         timeout 30 fossil clone {url} /tmp/tmpclone |
             grep -q -m 1 -e 'Round-trips'
         """.format(url=url))

-- 
To view, visit https://gerrit.wikimedia.org/r/311344
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I209775105ef556f18817b93dca1f83d95b050deb
Gerrit-PatchSet: 1
Gerrit-Project: pywikibot/bots/FLOSSbot
Gerrit-Branch: master
Gerrit-Owner: Dachary <l...@dachary.org>
Gerrit-Reviewer: Dachary <l...@dachary.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to