Как я могу применить патч с github?
Я попытался скомпилировать minisat, но столкнулся с двумя проблемами при компиляции с clang.
Первая проблема решена в этой фиксации github, она разветвлена из исходного github. Поскольку изменение незначительное, я мог бы легко исправить код, чтобы он работал вручную.
Вторая проблема решена в этом github (https://github.com/niklasso/minisat/pull/17), но исправление не применяется к исходному коду. Я мог бы вручную обновить код, скопировав измененные файлы, но было бы лучше, если бы я мог перетащить этот патч в свой локальный каталог. Возможно ли это сделать с помощью github? Если да, то как это сделать?