August 10, 2025development notesGithub[True Story] The Long Battle with GitHub "file size limit" Errors ~Cut off history that even BFG can't solve with filter-branch~