Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore(gitignore): ignore log file like *.err and *.log (#3915)
In our development pratices, it's common to name stdout and stderr output log as *.log and *.err, respectively, based on informal observation within our team. This patch adds *.log and *.err to the .gitignore file to ensure they are ignored by Git. Notably, *.log is already ignored due to existing rules, and there is no source files in the projects with a *.err extension. As such, this patch is safe. This patch also adds .gitignore into .github/filters.yaml to sikp ci. It seems no need to run CI again when .gitignore is modified.
- Loading branch information