Description
Is your feature request related to a problem? Please describe.
It takes a long time to open the history page of a folder if the history is very long.
Because OpenGrok incrementally updates the history cache based on the modification time of the file, and the modification of files in subfolders does not affect the timestamp of the top-level folder, so OpenGrok dynamically loads the history information of the folder through JGit. For a folder with 65K histories, OpenGrok-1.7.21 takes about 2 minutes to load all the history information.
Describe the solution you'd like
Since the history page is displayed in pagination, server-side pagination should greatly improve the page loading speed and user experience.
Describe alternatives you've considered
None
Additional context
None