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.

Sign up for GitHub

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

Jump to bottom

Add a .gitignore to updater/ #6463

Merged
merged 1 commit into from
Jan 18, 2023
Merged

Add a .gitignore to updater/ #6463

merged 1 commit into from
Jan 18, 2023

Conversation

deivid-rodriguez
Copy link
Contributor

@deivid-rodriguez deivid-rodriguez commented Jan 18, 2023 •
edited by jeffwidman
Loading

We most likely forgot to include this when opensourcing updater/.

@deivid-rodriguez deivid-rodriguez requested a review from a team as a code owner January 18, 2023 17:31
@jeffwidman jeffwidman changed the title Add a gitignore to updater/ Add a .gitignore to updater/ Jan 18, 2023
@jeffwidman jeffwidman force-pushed the remove-generated-file-from-source-control branch from 5e2ff00 to 7cc33b1 Compare January 18, 2023 19:56
@jeffwidman jeffwidman enabled auto-merge (squash) January 18, 2023 19:56
@jeffwidman jeffwidman merged commit 448a1c4 into main Jan 18, 2023
@jeffwidman jeffwidman deleted the remove-generated-file-from-source-control branch January 18, 2023 20:03
alcere pushed a commit that referenced this pull request Feb 20, 2023
@deivid-rodriguez
Add a gitignore to updater/ (#6463)
eca1fc2
@yeikel yeikel mentioned this pull request Aug 27, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@landongrindheim landongrindheim landongrindheim approved these changes

@jeffwidman jeffwidman jeffwidman approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@deivid-rodriguez @jeffwidman @landongrindheim