From 02410a852c55dbdfa708d0a7a485bd1dc1796908 Mon Sep 17 00:00:00 2001 From: Michael Dorner Date: Fri, 12 Apr 2024 09:24:46 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 8d2cf42..f99186d 100644 --- a/README.md +++ b/README.md @@ -26,7 +26,7 @@ First, we collect all timelines from all pull requests at a GitHub instance. [`c ``` python3 crawl.py ``` -[`crawler.py`](crawler.py) also provides the following optional command line arguments: +[`crawl.py`](crawl.py) also provides the following optional command line arguments: - `--api_url` for the GitHub instance URL (default: `https://api.github.com`) - `--disable_cache` for disable caching (for larger instances not recommended) - `--num_workers` for parallel processes (default: 1)