我需要更新从另一个用户的github存储库派生的zip文件。
我有一个由https://github.com/k2zia/AD985XSPI分叉的存储库，该存储库仅包含两个文件，一个自述文件和一个zip文件（AD985XSPI.zip）。该zip文件是一个Arduino库，其中不包含“ libraries.properties”文件，该文件自创建原始存储库以来就已添加。我下载了zip文件，将其解压缩，添加了一个“ libraries.properties”文件，重新压缩了，现在需要替换存储库中的现有zip文件。
我不清楚如何完成这项任务。