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

Update HACKING_QUICKSTART.md #27014

Merged
merged 1 commit into from Jun 22, 2020
Merged

Update HACKING_QUICKSTART.md #27014

merged 1 commit into from Jun 22, 2020

Conversation

@paulrouget
Copy link
Contributor

paulrouget commented Jun 22, 2020

Fix #27012
@paulrouget
Update HACKING_QUICKSTART.md
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…
18f35c7 
Fix #27012
@Manishearth
Copy link
Member

Manishearth commented Jun 22, 2020

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

bors-servo commented Jun 22, 2020

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

bors-servo commented Jun 22, 2020

⌛ Testing commit 18f35c7 with merge 99d409f...
@bors-servo
Copy link
Contributor

bors-servo commented Jun 22, 2020

☀️ Test successful - status-taskcluster
Approved by: Manishearth
Pushing 99d409f to master...
@bors-servo bors-servo merged commit 99d409f into master Jun 22, 2020
2 checks passed
2 checks passed
Community-TC (pull_request) TaskGroup: success
Details
homu Test successful
Details
@bors-servo bors-servo deleted the paulrouget-patch-2 branch Jun 22, 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.

HACKING_QUICKSTART out of date
4 participants
@paulrouget @Manishearth @bors-servo @highfive
You can’t perform that action at this time.