If you were unaware that such approach is frowned upon then you might also not know that even if you delete the binary files from your git - they will stay there and thus be bloating your repository forever. To truly cut them away from the repository you will need to use some special instruments that will rewrite git history while trying to remove the bloat and the downside of that is that commits checksums will change and you will essentially have to force push existing commits but with new checksums.
Just learned something new! Will soon change how releases are delivered, fixing a few other issues I got reported.
If you were unaware that such approach is frowned upon then you might also not know that even if you delete the binary files from your git - they will stay there and thus be bloating your repository forever. To truly cut them away from the repository you will need to use some special instruments that will rewrite git history while trying to remove the bloat and the downside of that is that commits checksums will change and you will essentially have to force push existing commits but with new checksums.
Point taken. The files were really small, no need to exaggerate.