Skip to content
This repository has been archived by the owner on May 22, 2024. It is now read-only.

zerocracy/farm#1960 - fixed job-id #401

Merged
merged 1 commit into from
Mar 26, 2019
Merged

zerocracy/farm#1960 - fixed job-id #401

merged 1 commit into from
Mar 26, 2019

Conversation

g4s8
Copy link
Contributor

@g4s8 g4s8 commented Mar 26, 2019

zerocracy/farm#1960 - fixed job-id

@g4s8
Copy link
Contributor Author

g4s8 commented Mar 26, 2019

@rultor merge

@rultor
Copy link
Contributor

rultor commented Mar 26, 2019

@rultor merge

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

@0crat
Copy link
Collaborator

0crat commented Mar 26, 2019

@g4s8/z this pull request is too small, just 4 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; @g4s8/z please review this and merge or reject

@rultor rultor merged commit b2d2fd2 into yegor256:master Mar 26, 2019
@rultor
Copy link
Contributor

rultor commented Mar 26, 2019

@rultor merge

@g4s8 Done! FYI, the full log is here (took me 7min)

@0crat
Copy link
Collaborator

0crat commented Mar 26, 2019

Job gh:zerocracy/datum#401 is not assigned, can't get performer

@0crat
Copy link
Collaborator

0crat commented Mar 26, 2019

This job is not in scope

@g4s8
Copy link
Contributor Author

g4s8 commented Mar 27, 2019

@rultor release, tag=0.64.2

@rultor
Copy link
Contributor

rultor commented Mar 27, 2019

@rultor release, tag=0.64.2

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

@rultor
Copy link
Contributor

rultor commented Mar 27, 2019

@rultor release, tag=0.64.2

@g4s8 Done! FYI, the full log is here (took me 8min)

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants