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

normal size for tables #196

Merged
merged 1 commit into from
Mar 7, 2019
Merged

normal size for tables #196

merged 1 commit into from
Mar 7, 2019

Conversation

yegor256
Copy link
Owner

@yegor256 yegor256 commented Mar 7, 2019

Let's reverse the changes made. Tables should be the same size as normal text.

@0crat
Copy link
Collaborator

0crat commented Mar 7, 2019

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

@yegor256 yegor256 requested a review from filfreire March 7, 2019 09:54
@0crat
Copy link
Collaborator

0crat commented Mar 7, 2019

Job #196 is now in scope, role is REV

@filfreire
Copy link
Collaborator

@rultor merge

@rultor
Copy link
Collaborator

rultor commented Mar 7, 2019

@rultor merge

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

@rultor rultor merged commit 99c3610 into master Mar 7, 2019
@rultor
Copy link
Collaborator

rultor commented Mar 7, 2019

@rultor merge

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

@filfreire
Copy link
Collaborator

@rultor release, tag is 1.4.2

@rultor
Copy link
Collaborator

rultor commented Mar 7, 2019

@rultor release, tag is 1.4.2

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

@rultor
Copy link
Collaborator

rultor commented Mar 7, 2019

@rultor release, tag is 1.4.2

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

@0crat
Copy link
Collaborator

0crat commented Mar 7, 2019

@filfreire/z everybody who has role REV is banned at #196; I won't be able to assign anyone automatically; consider assigning someone manually (as in §19), or invite more people (as in §51), or remove the job from the scope (as in §14)

@0crat
Copy link
Collaborator

0crat commented Mar 7, 2019

Job gh:yegor256/tacit#196 is not assigned, can't get performer

@0crat
Copy link
Collaborator

0crat commented Mar 7, 2019

The job #196 is now out of scope

@filfreire
Copy link
Collaborator

@yegor256 version 1.4.2 tagged and released with this change

@yegor256
Copy link
Owner Author

yegor256 commented May 5, 2019

@filfreire thanks!

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