@sabinoj I know we just added some file extensions to the .gitignore, but there are already alot of files in the repo that were commited previously with those extensions (.elf , .o , etc..) so the .gitignore will only ignore files of those extension types in the future. Can someone go in and go through every folder and delete any post-compilation files? if you find any additional files that should not be in the repository (bin files, etc..) delete those as well. Use 'git rm <path/to/file>' for a file, and 'git rm -r ' for folder'. Commit/push those changes to your fork, and then submit a pull request for other admins to review and give you feedback.
@sabinoj I know we just added some file extensions to the .gitignore, but there are already alot of files in the repo that were commited previously with those extensions (.elf , .o , etc..) so the .gitignore will only ignore files of those extension types in the future. Can someone go in and go through every folder and delete any post-compilation files? if you find any additional files that should not be in the repository (bin files, etc..) delete those as well. Use 'git rm <path/to/file>' for a file, and 'git rm -r' for folder'. Commit/push those changes to your fork, and then submit a pull request for other admins to review and give you feedback.