Skip to content

Update .gitattributes #5447

New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom
Merged
merged 1 commit into from
Jul 21, 2020
Merged

Update .gitattributes #5447

merged 1 commit into from
Jul 21, 2020

Conversation

jethrogb
Copy link

@matklad
Copy link
Member

matklad commented Jul 20, 2020

bors r+

We should remove this once we remove the last image file from the repo

@lnicola
Copy link
Member

lnicola commented Jul 20, 2020

Looks like the only image is editors/code/icon.png.

@jethrogb
Copy link
Author

once we remove the last image file from the repo

Actually this image file got added quite recently.

@lnicola
Copy link
Member

lnicola commented Jul 20, 2020

For some reason, bors didn't like this.

@matklad matklad merged commit 65b89b5 into rust-lang:master Jul 21, 2020
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
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
@jethrogb @matklad @lnicola