Wahrscheinlich nicht das, was Sie hören möchten, aber in Ihrem Fall ist dies meist persönliche Vorlieben.
Sie müssen die Binärdatei nicht im Repo speichern, da dies keine wichtige Abhängigkeit ist. Es ist umgekehrt: Alles, was Sie brauchen, um die Datei neu zu erstellen, sollte sich in Ihrem Repository befinden (einschließlich Makefiles/Projektdateien).
Sie können die Binärdatei im Repo speichern, da sie ziemlich klein ist. Sie sollten es nicht im Repository speichern, wenn die Gesamtgröße im Repository (Basisgröße + Diffs, abhängig davon, wie groß die Diffs sind) überwältigend ist, aber das scheint nicht der Fall zu sein (500 KiB nach Ihrem Repo).
Meine persönliche Präferenz ist, niemals speichern generierten Dateien (Binärdateien, sondern auch erzeugt Textdateien) im Repo. Möglicherweise, weil ich Erfahrung mit 2 GiB CSV-Repositories habe, die ewig dauern, um zu ziehen. (um fair zu sein: es braucht auch ewig um kompiliert zu werden)
Für mein github Projekt habe ich eine Subdomain auf einem Webspace erstellt, wo ich alle meine Downloads und die Indexseite dieser Subdomain auf meine github-Seiten weiterleite. Die github-Seiten verlinken auf die Downloads meiner Webspace-Subdomain. Nur weil ich meine Github Subdomain ein wenig mehr für dieses Projekt mag.
Mein Tool funktioniert zwar für verschiedene Plattformen, so dass nicht jeder Benutzer jede Binärdatei benötigt. Die Binärdateien sind eigentlich Backends (daher Abhängigkeiten), aber austauschbar/optional
Sie können sehen my setup.
Sie können jetzt auf GitHub-Versionen definieren, um Ihre Binärdateien zu hosten: siehe [meine Antwort unten] (http://stackoverflow.com/a/17440698/6309). – VonC