Примените патч к библиотеке для пользовательских изменений в Arduino IDE.

Я хочу получить временные метки эпохи Unix с точностью до миллисекунды. Я использую ESP32 вместе с коммутационной платой DS3231 RTC от adafruit.

Очевидно, репозиторий не обслуживается часто, но я вижу PR, который позволяет преодолеть переключение программного таймера и В комментарии разработчик предоставил исправление для использования временных меток Unix в мс.

Я зашел в папку libraries, где существуют все загруженные репозитории adafruit. Но когда я выполнил git status, он упомянул, что загрузка библиотеки (из менеджера библиотек) не является репозиторием git.

Я не хочу вносить изменения в библиотеку RTClib с помощью предоставленного патча. Должен ли я просто изменить код напрямую через редактор Arduino IDE?