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

no radius for the border #202

Merged
merged 1 commit into from
Jul 19, 2019
Merged

no radius for the border #202

merged 1 commit into from
Jul 19, 2019

Conversation

yegor256
Copy link
Owner

Let's get rid of the radius for the <article>

@filfreire filfreire self-requested a review July 19, 2019 06:06
@filfreire
Copy link
Collaborator

@rultor merge

@rultor
Copy link
Collaborator

rultor commented Jul 19, 2019

@rultor merge

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

@rultor rultor merged commit 9bdb24a into master Jul 19, 2019
@rultor
Copy link
Collaborator

rultor commented Jul 19, 2019

@rultor merge

@filfreire Done! FYI, the full log is here (took me 3min)

@filfreire
Copy link
Collaborator

@rultor release, tag is 1.5.1

@rultor
Copy link
Collaborator

rultor commented Jul 19, 2019

@rultor release, tag is 1.5.1

@filfreire OK, I will release it now. Please check the progress here

@rultor
Copy link
Collaborator

rultor commented Jul 19, 2019

@rultor release, tag is 1.5.1

@filfreire Done! FYI, the full log is here (took me 3min)

@filfreire
Copy link
Collaborator

@yegor256 released in version 1.5.1. thanks 👍

@0crat
Copy link
Collaborator

0crat commented Jul 19, 2019

@filfreire/z please, pay attention to this pull request

@0crat
Copy link
Collaborator

0crat commented Jul 19, 2019

@yegor256/z this pull request is too small, just 5 lines changed (less than 10), there will be no formal code review, see §53 and §28; in the future, try to make sure your pull requests are not too small; @filfreire/z please review this and merge or reject

@0crat
Copy link
Collaborator

0crat commented Jul 19, 2019

There is an unrecoverable failure on my side. Please, submit it here:

PID: 4@9a947b19-47b2-43b3-a098-15eb9dcbb263, thread: pool-5-thread-6
com.zerocracy.farm.sync.SyncProject[76] java.lang.IllegalStateException: Failed to acquire "orders.xml" in "C7BNDNSNR" in 2min: java.util.concurrent.locks.ReentrantLock@2b9d2c54[Locked by thread pool-5-thread-1]

0.48.2: CID: 22220f4c-515d-44fe-9418-675266b62ce6, Type: "Close job"

@0crat
Copy link
Collaborator

0crat commented Jul 19, 2019

There is an unrecoverable failure on my side. Please, submit it here:

PID: 4@9a947b19-47b2-43b3-a098-15eb9dcbb263, thread: pool-5-thread-6
com.zerocracy.farm.sync.SyncProject[76] java.lang.IllegalStateException: Failed to acquire "wbs.xml" in "C7BNDNSNR" in 2min: java.util.concurrent.locks.ReentrantLock@2b9d2c54[Locked by thread pool-5-thread-1]

0.48.2: CID: 22220f4c-515d-44fe-9418-675266b62ce6, Type: "Close job"

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.

4 participants