Automatic pool cache rebuild on clone

When passing a project between computers via git, I routinely forget to update the project pool to rebuild the cache. Would it be possible to optionally check the cache against the git hash or perhaps some other hash of the pool and update automatically if the cache is not consistent with the hash?

Thanks for the nudge, we now have something similar on master: When opening a project or a pool, Horizon EDA checks the modification times of all files in the pool and triggers a pool update if any file got modified after the last pool update.

Brilliant! That sounds just right, thanks!!