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.

Sign up for GitHub

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

Jump to bottom

issue #19 #29

Merged
merged 2 commits into from
Oct 5, 2015
Merged

issue #19 #29

merged 2 commits into from
Oct 5, 2015

Conversation

tmjee
Copy link

@tmjee tmjee commented Oct 3, 2015

Fix issue #19

@tmjee tmjee mentioned this pull request Oct 3, 2015
Open
@dmarkov
Copy link

dmarkov commented Oct 5, 2015

@tmjee I will find a reviewer for your pull requests shortly, thanks for contribution!

@dmarkov
Copy link

dmarkov commented Oct 5, 2015

@yegor256 pull request is rather short, review it please

@dmarkov dmarkov added the 15 mins label Oct 5, 2015
@yegor256
Copy link
Member

yegor256 commented Oct 5, 2015

@rultor try to merge

@rultor
Copy link
Contributor

rultor commented Oct 5, 2015

@rultor try to merge

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

@rultor rultor merged commit a314ea4 into jcabi:master Oct 5, 2015
@rultor
Copy link
Contributor

rultor commented Oct 5, 2015

@rultor try to merge

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

@dmarkov dmarkov added the CR label Oct 6, 2015
@dmarkov
Copy link

dmarkov commented Oct 7, 2015

@yegor256 Thanks so much! Your account was topped up for 16 mins (transaction ID is 000-66a053ed, the task took 23 hours and 5 mins)... you're getting extra minutes here (c=1)... +16 to your rating, your total score is +13633

@dmarkov
Copy link

dmarkov commented Oct 7, 2015

@rultor deploy

@rultor
Copy link
Contributor

rultor commented Oct 7, 2015

@rultor deploy

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

@rultor
Copy link
Contributor

rultor commented Oct 7, 2015

@rultor deploy

@dmarkov Done! FYI, the full log is here (took me 5min)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@yegor256 yegor256

Labels
@yegor256
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@tmjee @dmarkov @yegor256 @rultor @tkjee