Skip to content
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

Restore working against a Depot server! #453

Merged
merged 1 commit into from
Apr 27, 2016
Merged

Conversation

fnichol
Copy link
Collaborator

@fnichol fnichol commented Apr 27, 2016

gif-keyboard-219386805304924505

@thesentinels
Copy link
Contributor

By analyzing the blame information on this pull request, we identified @reset, @metadave, @jtimberman and @adamhjk to be potential reviewers

@fnichol
Copy link
Collaborator Author

fnichol commented Apr 27, 2016

Note that once this merges, everyone should rebuild their devshell with make distclean && make image. Then you're back to working against the repo!

@adamhjk
Copy link
Contributor

adamhjk commented Apr 27, 2016

So small! So deliciously small.

@thesentinels r+

gif-keyboard-3763303009042044034

@thesentinels
Copy link
Contributor

📌 Commit 473d86e has been approved by adamhjk

@thesentinels
Copy link
Contributor

⌛ Testing commit 473d86e with merge ddebc71...

thesentinels pushed a commit that referenced this pull request Apr 27, 2016
Pull request: #453
Approved by: adamhjk
@thesentinels
Copy link
Contributor

☀️ Test successful - travis

@thesentinels thesentinels merged commit 473d86e into master Apr 27, 2016
@reset reset deleted the fnichol/willem-deets branch April 27, 2016 23:31
jtimberman pushed a commit that referenced this pull request Jun 12, 2016
Pull request: #453
Approved by: adamhjk
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.

3 participants