[[Обратите внимание, что Github сильно изменился, так как этот вопрос был впервые задан; вместо "страницы загрузки" читайте "новый выпуск".]]
Я создаю документацию PDF как часть своих проектов, и я бы хотел, чтобы они синхронизировались с моим хранилищем Git (для людей не всегда возможно создавать свои собственные, поскольку они часто используют проприетарные шрифты).
Однако, это не совсем "правильно", чтобы добавить PDF файлы в репозиторий, поскольку это производный файл; кроме того, это значительно увеличивает размер коммитов и размер репозитория в целом.
Можно ли программно отправлять файлы на страницу загрузки GitHub? (Я знаю, что отмеченные коммиты автоматически добавляются туда с git push --tags, но я не знаю, где это документировано. Полагаю, я мог бы сделать что-то фантастическое, добавив отдельную ветку, содержащую только сами PDF файлы, как это делают пользовательские страницы GitHub - но я немного ржавый при использовании Git таким образом.)
