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

#423 removed puzzle 406-e0d78f7e as it has been already done #482

Merged
merged 1 commit into from
Dec 22, 2014

Conversation

adamsiemion
Copy link
Contributor

The puzzle was already done so just removing it as described in #423 (comment)

@davvd
Copy link
Collaborator

davvd commented Dec 22, 2014

Thanks for the pull request, let me find a reviewer..

@davvd
Copy link
Collaborator

davvd commented Dec 22, 2014

@krzyk this pull request is for you, please review

@krzyk
Copy link
Contributor

krzyk commented Dec 22, 2014

@rultor merge pls

@rultor
Copy link
Collaborator

rultor commented Dec 22, 2014

@rultor merge pls

@krzyk Thanks for your request. @yegor256 Please confirm this.

@yegor256
Copy link
Owner

@rultor merge

@rultor
Copy link
Collaborator

rultor commented Dec 22, 2014

@rultor merge

@yegor256 OK, I'll try to merge now. You can check the progress of the merge here

@rultor
Copy link
Collaborator

rultor commented Dec 22, 2014

@rultor merge

@yegor256 Oops, I failed. You can see the full log here (spent 7min)

@krzyk
Copy link
Contributor

krzyk commented Dec 22, 2014

@yegor256 please retry (unknown host)

@yegor256
Copy link
Owner

@rultor merge

@rultor
Copy link
Collaborator

rultor commented Dec 22, 2014

@rultor merge

@yegor256 OK, I'll try to merge now. You can check the progress of the merge here

@rultor rultor merged commit 8c94b9a into yegor256:master Dec 22, 2014
@rultor
Copy link
Collaborator

rultor commented Dec 22, 2014

@rultor merge

@yegor256 Done! FYI, the full log is here (took me 20min)

@davvd
Copy link
Collaborator

davvd commented Dec 24, 2014

@krzyk 25 mins sent to your balance (ID 49418158), many thanks!

@davvd
Copy link
Collaborator

davvd commented Dec 24, 2014

@rultor deploy

@rultor
Copy link
Collaborator

rultor commented Dec 24, 2014

@rultor deploy

@davvd OK, I'll try to deploy now. You can check the progress here

@rultor
Copy link
Collaborator

rultor commented Dec 24, 2014

@rultor deploy

@davvd Done! FYI, the full log is here (took me 11min)

@adamsiemion adamsiemion deleted the 423 branch January 15, 2015 15:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants