Commits on May 8, 2024

1. Search for existing commits case-insensitively …

   Also stop looking once one's been found.
   
   While eyeballing the cleanup in staging I noticed some records being
   deleted that were not expected, and it was because they had previous
   converted when they only had commit references, but then didn't once
   they had versions and the commit references, due to this
   case-sensitivity mishandling the situation.

   

   andrewpollock committed May 8, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 28c50d8
   • Browse repository at this point

   Copy the full SHA

   28c50d8 View commit details

   Browse the repository at this point in the history