Currently, the history is stored in local storage. This means that if the data gets updated, it won't get automatically fetched. Although this is fine, there should be an option to refresh it manually, so one doesn't need to remove the repo and then add it back.
Currently, the history is stored in local storage. This means that if the data gets updated, it won't get automatically fetched. Although this is fine, there should be an option to refresh it manually, so one doesn't need to remove the repo and then add it back.