Skip to content

be explicit about our line endings#816

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:gitattr
Jul 1, 2019
Merged

be explicit about our line endings#816
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:gitattr

Conversation

@RalfJung

@RalfJung RalfJung commented Jul 1, 2019

Copy link
Copy Markdown
Member

Let's see if this is the right setting for Windows...

@RalfJung

RalfJung commented Jul 1, 2019

Copy link
Copy Markdown
Member Author

@bors r+

@bors

bors commented Jul 1, 2019

Copy link
Copy Markdown
Contributor

📌 Commit b044522 has been approved by RalfJung

@bors

bors commented Jul 1, 2019

Copy link
Copy Markdown
Contributor

⌛ Testing commit b044522 with merge f7c06e7...

bors added a commit that referenced this pull request Jul 1, 2019
be explicit about our line endings

Let's see if this is the right setting for Windows...
@bors

bors commented Jul 1, 2019

Copy link
Copy Markdown
Contributor

💥 Test timed out

@RalfJung

RalfJung commented Jul 1, 2019

Copy link
Copy Markdown
Member Author

@bors retry

bors added a commit that referenced this pull request Jul 1, 2019
be explicit about our line endings

Let's see if this is the right setting for Windows...
@bors

bors commented Jul 1, 2019

Copy link
Copy Markdown
Contributor

⌛ Testing commit b044522 with merge 63b34aa...

@bors

bors commented Jul 1, 2019

Copy link
Copy Markdown
Contributor

💥 Test timed out

@RalfJung

RalfJung commented Jul 1, 2019

Copy link
Copy Markdown
Member Author

We finally got a spot in the queue, but not early enough :/

@bors retry

@bors

bors commented Jul 1, 2019

Copy link
Copy Markdown
Contributor

⌛ Testing commit b044522 with merge d2df509...

bors added a commit that referenced this pull request Jul 1, 2019
be explicit about our line endings

Let's see if this is the right setting for Windows...
@bors

bors commented Jul 1, 2019

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-travis, status-appveyor
Approved by: RalfJung
Pushing d2df509 to master...

@bors
bors merged commit b044522 into rust-lang:master Jul 1, 2019
@RalfJung
RalfJung deleted the gitattr branch July 6, 2019 08:23
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.

2 participants