Fixing get_library_records in RealGithubUtils