Có lẽ không phải những gì bạn muốn nghe, nhưng trong trường hợp của bạn, đây là chủ yếu là sở thích cá nhân.
Bạn không phải lưu trữ nhị phân trong repo, bởi vì nó không phụ thuộc quan trọng. Đó là một cách khác xung quanh: mọi thứ bạn cần để tạo lại tệp phải nằm trong kho lưu trữ của bạn (bao gồm tệp Makefiles/dự án).
Bạn có thể lưu trữ nhị phân trong repo vì nó khá nhỏ. Bạn không nên lưu trữ nó trong kho lưu trữ khi kích thước tổng thể trong kho (kích thước cơ sở + diffs, tùy thuộc vào độ chênh lệch lớn) đang áp đảo, nhưng điều này dường như không phải là trường hợp (500 KiB theo repo của bạn).
Sở thích cá nhân của tôi là không bao giờ lưu trữ tệp được tạo (nhị phân, nhưng cũng tạo tệp văn bản) trong repo. Có thể vì tôi có kinh nghiệm với 2 kho lưu trữ Giv csv mất nhiều thời gian để kéo. (để công bằng: nó cũng phải mất thời gian để biên dịch)
Đối với dự án github của tôi, tôi đã tạo một tên miền phụ trên một số webspace nơi tôi đặt tất cả các tài nguyên đã tải xuống và trang chỉ mục của tên miền phụ đó chuyển tiếp đến trang github của tôi. Các trang github liên kết đến các tải xuống trên tên miền phụ webspace của tôi. Chỉ vì tôi thích tên miền phụ github của tôi nhiều hơn một chút cho dự án này.
Công cụ của tôi hoạt động cho các nền tảng khác nhau, vì vậy không phải mọi người dùng đều cần mọi tệp nhị phân. Các tệp nhị phân thực sự là các phần phụ trợ (do đó phụ thuộc), nhưng có thể hoán đổi/tùy chọn
Bạn có thể xem my setup.
Bây giờ bạn có thể xác định trên các bản phát hành GitHub, để lưu trữ các tệp nhị phân của bạn: xem [câu trả lời của tôi bên dưới] (http://stackoverflow.com/a/17440698/6309). – VonC