diff options
-rw-r--r-- | maintainers/scripts/pluginupdate.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/maintainers/scripts/pluginupdate.py b/maintainers/scripts/pluginupdate.py index 8ae86e2e93a49..ce4f55ae1e3cd 100644 --- a/maintainers/scripts/pluginupdate.py +++ b/maintainers/scripts/pluginupdate.py @@ -788,7 +788,10 @@ def update_plugins(editor: Editor, args): fetch_config = FetchConfig(args.proc, args.github_token) update = editor.get_update(args.input_file, args.outfile, fetch_config) + start_time = time.time() redirects = update() + duration = time.time() - start_time + print(f"The plugin update took {duration}s.") editor.rewrite_input(fetch_config, args.input_file, editor.deprecated, redirects) autocommit = not args.no_commit |