mirror of
https://github.com/newren/git-filter-repo.git
synced 2024-07-08 03:12:16 +02:00
Most filtering operations are not interested in the time that commits were authored or committed, or when tags were tagged. As such, translating the string representation of the date into a datetime object is wasted effort, and causes us to waste more time later as we have to translate it back into a string. Instead, provide string_to_date() and date_to_string() functions so that callers can perform the translation if wanted, and let the normal case be fast. Provides a small but noticable speedup when just filtering based on paths; about a 3.5% improvement in execution time for writing the new history. Signed-off-by: Elijah Newren <newren@gmail.com> |
||
---|---|---|
.. | ||
commit_info.py | ||
create_fast_export_output.py | ||
file_filter.py | ||
print_progress.py | ||
rename-master-to-develop.py | ||
splice_repos.py | ||
strip-cvs-keywords.py |