We have a quick and handy solution, a browser extension which helps you view or download files from GitLab/Github very fast! (actually not only PDF files but also all file types)