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

Project sandbox flag #405

Merged
merged 3 commits into from
May 28, 2019
Merged

Project sandbox flag #405

merged 3 commits into from
May 28, 2019

Conversation

g4s8
Copy link
Contributor

@g4s8 g4s8 commented May 28, 2019

zerocracy/farm#1453 - added project sandbox optional flag to catalog.xsd

@0crat 0crat added the scope label May 28, 2019
@g4s8
Copy link
Contributor Author

g4s8 commented May 28, 2019

@rultor merge

@rultor
Copy link
Contributor

rultor commented May 28, 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 May 28, 2019

Job #405 is now in scope, role is REV

@rultor rultor merged commit e58e07e into yegor256:master May 28, 2019
@rultor
Copy link
Contributor

rultor commented May 28, 2019

@rultor merge

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

@0crat
Copy link
Collaborator

0crat commented May 28, 2019

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

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

0crat commented May 28, 2019

The job #405 is now out of scope

@0crat
Copy link
Collaborator

0crat commented May 28, 2019

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

@g4s8
Copy link
Contributor Author

g4s8 commented May 28, 2019

@rultor release, tag=0.65.2

@rultor
Copy link
Contributor

rultor commented May 28, 2019

@rultor release, tag=0.65.2

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

@rultor
Copy link
Contributor

rultor commented May 28, 2019

@rultor release, tag=0.65.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