Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

GitHub: can I offer access to compiled files without versioning them?

I maintain a documentation with git and GitHub. The source files are TEX files for Pdflatex an a few other files (like figures) that are used for the compilation. These files are versioned. After compilation, they produce a PDF file (that explains all the details of my project).

There is no need to version that resulting PDF file, because it is constructed from source. Versioning that compiled PDF would be a waist of resource.

However, I would like that people who check out my GitHub repository can read the last compiled PDF immediately, so that they don't need to compile themselves. Such possibility would be appreciated by people who just want to have a quick look, wouldn't it?

How can this be done with GitHub?

like image 453
Olivier Avatar asked Jun 22 '12 13:06

Olivier


People also ask

How does GitHub versioning work?

About version control and Git A version control system, or VCS, tracks the history of changes as people and teams collaborate on projects together. As developers make changes to the project, any earlier version of the project can be recovered at any time.

Is GitHub source control or version control?

GitHub — Primary function. Git is a distributed version control system that records different versions of a file (or set of files). It lets users access, compare, update, and distribute any of the recorded version(s) at any time. However, GitHub is mainly a hosting platform for hosting Git repositories online.

Can I use GitHub to share files?

It takes few easy steps to turn your Github into a file repository. You can upload files from the browser and you can add collaborators so they can also upload files to a common repository (similar to shared folders in Google Drive). The files are public so anyone can download them with a direct link.


1 Answers

You have a download page available at http://github.com/user/project/downloads. You can handle this automatically with their API if needed.

Edit: As noted by Thomas, the download API has been deprecated since, and has been replaced by another workflow called "Releases". You can then attach binary files to a specific release.

Drag and drop binary

like image 156
strnk Avatar answered Sep 20 '22 15:09

strnk