Dachary has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/311344

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(-)


  git pull ssh://gerrit.wikimedia.org:29418/pywikibot/bots/FLOSSbot 
refs/changes/44/311344/1

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: newchange
Gerrit-Change-Id: I209775105ef556f18817b93dca1f83d95b050deb
Gerrit-PatchSet: 1
Gerrit-Project: pywikibot/bots/FLOSSbot
Gerrit-Branch: master
Gerrit-Owner: Dachary <l...@dachary.org>

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

Reply via email to