Skip to content

/ servo

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

Change code of conduct contact #25506

Merged
merged 1 commit into from Jan 15, 2020
Merged

Change code of conduct contact #25506

merged 1 commit into from Jan 15, 2020

Conversation

@jdm
Copy link
Member

jdm commented Jan 13, 2020

No description provided.

@jdm
Change code of conduct contact
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
de610e4
@Manishearth
Copy link
Member

Manishearth commented Jan 13, 2020

@bors-servo r+ rollup
@bors-servo
Copy link
Contributor

bors-servo commented Jan 13, 2020

📌 Commit de610e4 has been approved by Manishearth
@bors-servo
Copy link
Contributor

bors-servo commented Jan 13, 2020

⌛ Testing commit de610e4 with merge 90f4ba2...
bors-servo added a commit that referenced this pull request Jan 13, 2020
@bors-servo
Auto merge of #25506 - servo:jdm-patch-31, r=Manishearth
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
90f4ba2 
Change code of conduct contact
@bors-servo
Copy link
Contributor

bors-servo commented Jan 13, 2020

💔 Test failed - status-taskcluster
@jdm
Copy link
Member Author

jdm commented Jan 13, 2020

@bors-servo retry
@bors-servo
Copy link
Contributor

bors-servo commented Jan 14, 2020

⌛ Testing commit de610e4 with merge ab9bb26...
bors-servo added a commit that referenced this pull request Jan 14, 2020
@bors-servo
Auto merge of #25506 - servo:jdm-patch-31, r=Manishearth
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
ab9bb26 
Change code of conduct contact
@bors-servo
Copy link
Contributor

bors-servo commented Jan 14, 2020

💔 Test failed - status-taskcluster
@jdm
Copy link
Member Author

jdm commented Jan 14, 2020

@bors-servo retry
@bors-servo
Copy link
Contributor

bors-servo commented Jan 14, 2020

⌛ Testing commit de610e4 with merge d8ffb10...
bors-servo added a commit that referenced this pull request Jan 14, 2020
@bors-servo
Auto merge of #25506 - servo:jdm-patch-31, r=Manishearth
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
d8ffb10 
Change code of conduct contact
@bors-servo
Copy link
Contributor

bors-servo commented Jan 14, 2020

💔 Test failed - status-taskcluster
@jdm
Copy link
Member Author

jdm commented Jan 14, 2020

@bors-servo retry
bors-servo added a commit that referenced this pull request Jan 14, 2020
@bors-servo
Auto merge of #25506 - servo:jdm-patch-31, r=Manishearth
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
6e825fe 
Change code of conduct contact
@bors-servo
Copy link
Contributor

bors-servo commented Jan 14, 2020

⌛ Testing commit de610e4 with merge 6e825fe...
@bors-servo
Copy link
Contributor

bors-servo commented Jan 14, 2020

💔 Test failed - status-taskcluster
@jdm
Copy link
Member Author

jdm commented Jan 14, 2020

@bors-servo retry
@bors-servo
Copy link
Contributor

bors-servo commented Jan 14, 2020

⌛ Testing commit de610e4 with merge ca274c1...
bors-servo added a commit that referenced this pull request Jan 14, 2020
@bors-servo
Auto merge of #25506 - servo:jdm-patch-31, r=Manishearth
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
ca274c1 
Change code of conduct contact
@bors-servo
Copy link
Contributor

bors-servo commented Jan 15, 2020

💔 Test failed - status-taskcluster
@jdm
Copy link
Member Author

jdm commented Jan 15, 2020

@bors-servo retry
@bors-servo
Copy link
Contributor

bors-servo commented Jan 15, 2020

⌛ Testing commit de610e4 with merge 95614f5...
bors-servo added a commit that referenced this pull request Jan 15, 2020
@bors-servo
Auto merge of #25506 - servo:jdm-patch-31, r=Manishearth
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
95614f5 
Change code of conduct contact
@bors-servo
Copy link
Contributor

bors-servo commented Jan 15, 2020

☀️ Test successful - status-taskcluster
Approved by: Manishearth
Pushing 95614f5 to master...
@bors-servo bors-servo merged commit de610e4 into master Jan 15, 2020
2 checks passed
2 checks passed
Community-TC (pull_request) TaskGroup: success
Details
homu Test successful
Details
@bors-servo bors-servo deleted the jdm-patch-31 branch Jan 15, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@Manishearth Manishearth

Labels
None yet
Projects
None yet
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

4 participants
@jdm @Manishearth @bors-servo @highfive
You can’t perform that action at this time.