Fix reloading of git repositories

Also, clean up logic for reloading git repositories.
d3477f75acMax Brunsfeld committed on 6/22/2023, 5:34:28 PMparent4424daf
1 file changedLine totals unavailable