Probabilmente non è quello che vuoi sentire, ma nel tuo caso si tratta principalmente di preferenze personali.
Non è necessario memorizzare il file binario nel repository, poiché non è una dipendenza importante. È il contrario: tutto il necessario per ricreare il file dovrebbe essere nel repository (inclusi i file Makefile/di progetto).
È possibile memorizzare il file binario nel repository perché è piuttosto piccolo. Non dovresti memorizzarlo nel repository quando la dimensione complessiva nel repository (dimensione base + diff, a seconda di quanto sono grandi le differenze) è travolgente, ma non sembra essere così (500 KiB in base al repository).
La mia preferenza personale è quella di non archiviare mai i file generati (file binari, ma anche file di testo generati) nel repository. Probabilmente perché ho esperienza con 2 repository csv GiB che impiegano anni a tirare. (per essere onesti: ci vogliono anche anni per compilare)
Per il mio progetto github ho creato un sottodominio su qualche spazio web in cui ho messo tutti i miei download e la pagina di indice di quel sottodominio in avanti alle mie pagine github. Le pagine github si collegano ai download sul sottodominio del mio spazio web. Solo perché mi piace il mio sottodominio github un po 'di più per questo progetto.
Il mio strumento funziona per diverse piattaforme, quindi non ogni utente ha bisogno di ogni file binario. I binari sono effettivamente backend (quindi dipendenze), ma intercambiabili/facoltativi
È possibile dare un'occhiata a my setup.
È ora possibile definire su GitHub rilascia, per ospitare i binari: si veda [mia risposta qui sotto] (http://stackoverflow.com/a/17440698/6309). – VonC