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

For #1017. Update jcabi, add xcop. #1052

Merged
merged 12 commits into from May 22, 2019
Merged

For #1017. Update jcabi, add xcop. #1052

merged 12 commits into from May 22, 2019

Conversation

zCRUSADERz
Copy link
Contributor

For #1017

  • Updated jcabi-parent to 49.5
  • Fixed all xml files
  • Added xcop to travis and rultor

All files were fixed automatically using xcop.

@0crat
Copy link
Collaborator

0crat commented May 22, 2019

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

@0crat 0crat added the scope label May 22, 2019
@0crat
Copy link
Collaborator

0crat commented May 22, 2019

Job #1052 is now in scope, role is REV

@0crat
Copy link
Collaborator

0crat commented May 22, 2019

@krzyk/z everybody who has role REV is banned at #1052; 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)

@krzyk
Copy link
Collaborator

krzyk commented May 22, 2019

@rultor merge

@rultor
Copy link
Collaborator

rultor commented May 22, 2019

@rultor merge

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

@rultor rultor merged commit de67463 into yegor256:master May 22, 2019
@rultor
Copy link
Collaborator

rultor commented May 22, 2019

@rultor merge

@krzyk Done! FYI, the full log is here (took me 22min)

@0crat
Copy link
Collaborator

0crat commented May 22, 2019

Job gh:teamed/qulice#1052 is not assigned, can't get performer

@0crat 0crat removed the scope label May 22, 2019
@0crat
Copy link
Collaborator

0crat commented May 22, 2019

The job #1052 is now out of scope

@0crat
Copy link
Collaborator

0crat commented May 22, 2019

Payment to ARC for a closed pull request, as in §28: +10 point(s) just awarded to @krzyk/z

@zCRUSADERz zCRUSADERz deleted the update-jcabi branch May 22, 2019 12:03
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.

None yet

4 participants