3 ms·

You don't need to add it to the git repo itself. You can create a release in Github and attach binaries.