You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@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.
The text was updated successfully, but these errors were encountered:
@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.
The text was updated successfully, but these errors were encountered: