This repository was archived by the owner on Jul 29, 2021. It is now read-only.
This repository was archived by the owner on Jul 29, 2021. It is now read-only.
Use git ls-remote for up-to-date checks #47
Description
Instead of cloning the repository every time for checking if it has changed, we should just query the remote for the ID of HEAD.