From dfffb5584f95318eda0f005c99e5eea1046f7200 Mon Sep 17 00:00:00 2001 From: Daniele Varrazzo Date: Fri, 4 Dec 2020 04:48:02 +0000 Subject: [PATCH] Small tweaks to add_backer script --- tools/add_backer.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/tools/add_backer.py b/tools/add_backer.py index 48040497b..33575851a 100755 --- a/tools/add_backer.py +++ b/tools/add_backer.py @@ -5,11 +5,11 @@ Print the tag to represent an user. Hint: to reprocess the list of users you can use: - grep "github.com.*100" BACKERS.md \ + grep 'github.com.*"100"' BACKERS.md \ | sed 's|\(.*github.com/\)\([^"]\+\)\(.*\)|\2|' \ | xargs ./tools/add_backer.py --big - grep "github.com.*60" BACKERS.md \ + grep 'github.com.*"60"' BACKERS.md \ | sed 's|\(.*github.com/\)\([^"]\+\)\(.*\)|\2|' \ | xargs ./tools/add_backer.py """ @@ -21,8 +21,8 @@ import requests logger = logging.getLogger() logging.basicConfig( - level=logging.INFO, - format='%(asctime)s %(levelname)s %(message)s') + level=logging.INFO, format="%(asctime)s %(levelname)s %(message)s" +) def main(): -- 2.47.2