Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Some more file extensions to ignore #1586

Merged

Conversation

nicostubi
Copy link

Background
Simply added *.log in .gitignore to avoid having all logs in staging area when working on the project

Changes
Simply added *.log and *.mp3 in .gitignore

Documentation
Simply added *.log and *.mp3 in .gitignore

Test Plan
No test needed as simple change in .gitignore

PR Quality Checklist
My pull request is atomic and focuses on a single change.
I have thoroughly tested my changes with multiple different prompts.
I have considered potential risks and mitigations for my changes.
I have documented my changes clearly and comprehensively.
I have not snuck in any "extra" small tweaks changes
No test needed as simple change in .gitignore

By submitting this, I agree that my pull request should be closed if I do not fill this out or follow the guide lines.

nponeccop
nponeccop previously approved these changes Apr 15, 2023
@nponeccop
Copy link
Contributor

@nicostubi There are conflicts now

@nicostubi
Copy link
Author

@nponeccop we should be good now

@richbeales richbeales merged commit de575eb into Significant-Gravitas:master Apr 15, 2023
@nponeccop nponeccop mentioned this pull request Apr 15, 2023
1 task
sindlinger pushed a commit to Orgsindlinger/Auto-GPT-WebUI that referenced this pull request Sep 25, 2024
…itignore-additions

Some more file extensions to ignore
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants