Skip to content

[Merged by Bors] - chore: add .DS_Store to .gitignore#3538

Closed
kim-em wants to merge 1 commit intomasterfrom
gitignore_DS_Store
Closed

[Merged by Bors] - chore: add .DS_Store to .gitignore#3538
kim-em wants to merge 1 commit intomasterfrom
gitignore_DS_Store

Conversation

@kim-em
Copy link
Copy Markdown
Contributor

@kim-em kim-em commented Apr 20, 2023

mac users should have this in their .gitignore file, but sometimes don't, as evidenced by #3511, which then unfortunately broke the port-status bot for a day!


Open in Gitpod

@jcommelin
Copy link
Copy Markdown
Member

Thanks 🎉

bors merge

@github-actions github-actions bot added ready-to-merge This PR has been sent to bors. and removed awaiting-review labels Apr 20, 2023
bors bot pushed a commit that referenced this pull request Apr 20, 2023
mac users should have this in their `.gitignore` file, but sometimes don't, as evidenced by #3511, which then unfortunately broke the port-status bot for a day!



Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
@bors
Copy link
Copy Markdown

bors bot commented Apr 20, 2023

Pull request successfully merged into master.

Build succeeded:

@bors bors bot changed the title chore: add .DS_Store to .gitignore [Merged by Bors] - chore: add .DS_Store to .gitignore Apr 20, 2023
@bors bors bot closed this Apr 20, 2023
@bors bors bot deleted the gitignore_DS_Store branch April 20, 2023 09:45
kbuzzard pushed a commit that referenced this pull request Apr 22, 2023
mac users should have this in their `.gitignore` file, but sometimes don't, as evidenced by #3511, which then unfortunately broke the port-status bot for a day!



Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
kim-em added a commit that referenced this pull request May 10, 2023
mac users should have this in their `.gitignore` file, but sometimes don't, as evidenced by #3511, which then unfortunately broke the port-status bot for a day!



Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ready-to-merge This PR has been sent to bors.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants