Update README.md

michaeldorner · Apr 13, 2023 · cbc228b · cbc228b
1 parent 5bb496b
commit cbc228b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 <api_token> <out_dir>
 ```
-The crawler also provides options
+[`crawler.py`](crawler.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)