Skip to content

Don't reload files if path didn't change#30

Merged
pieterdd merged 1 commit into
mainfrom
dont-refresh-unnecessarily
Jan 10, 2026
Merged

Don't reload files if path didn't change#30
pieterdd merged 1 commit into
mainfrom
dont-refresh-unnecessarily

Don't reload files if path didn't change

a7ff647
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.