diff options
author | Lars Wirzenius <lwirzenius@wikimedia.org> | 2019-07-08 17:16:03 +0300 |
---|---|---|
committer | Lars Wirzenius <lwirzenius@wikimedia.org> | 2019-07-08 17:16:03 +0300 |
commit | a8d2dd9f7614341aa99959e0c29d638e9aef4e6b (patch) | |
tree | b665ed2c897728ef46104339dd4040c825988344 /mktoken | |
parent | 2c3a1b1176c7c618a870e6103b1a6c1c4ff9cbd7 (diff) | |
download | wmf-ci-arch-a8d2dd9f7614341aa99959e0c29d638e9aef4e6b.tar.gz |
Add: wait a bit while deleting a repo
Diffstat (limited to 'mktoken')
0 files changed, 0 insertions, 0 deletions