История изменений
Исправление kuraga, (текущая версия) :
Спасибо за исследование.
Не совсем так - он пишет об изменениях file permissions в заголовке файла.
А вот Gitea - нет, и, по совпадению, писал об этом совсем недавно. Интересно, как бы это PR выглядел бы там…
У Github’а, в свою очередь, другой прикол - он не отмечает в PR’ах создание/удаление файла в его заголовке (только в дереве), и file permissions - в первом случае (вовсе).
Результат Вашего исследования предлагаю отразить в виде issue :) Пример смёрджиного PR - вот, коммит. Кстати, на странице коммита тоже ошибка 500 (видимо, у них парсинг diff’ов сломался). Вы ещё верите в совпадения, товарищи? :) Спасибо!
Исходная версия kuraga, :
Спасибо за исследование.
Не совсем так - он пишет об изменениях file permissions в заголовке файла.
А вот Gitea - нет, и, по совпадению, писал об этом совсем недавно. Интересно, как бы это PR выглядел бы там…
У Github’а, в свою очередь, другой прикол - он не отмечает в PR’ах создание/удаление файла в его заголовке (только в дереве), и file permission -s в первом случае (вовсе).
Результат Вашего исследования предлагаю отразить в виде issue :) Пример смёрджиного PR - вот, коммит. Кстати, на странице коммита тоже ошибка 500. Видимо, у них парсинг diff’ов сломался. Вы ещё верите в совпадения, товарищи? :) Спасибо!