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

#677 removed ctors for list package #694

Closed
wants to merge 3 commits into from
Closed

Conversation

nick318
Copy link

@nick318 nick318 commented Feb 20, 2018

#677 removed ctors for list package

@nick318 nick318 closed this Feb 20, 2018
@0crat 0crat added the scope label Feb 20, 2018
@0crat
Copy link
Collaborator

0crat commented Feb 20, 2018

Job #694 is now in scope, role is REV

@0crat
Copy link
Collaborator

0crat commented Feb 20, 2018

This pull request #694 is assigned to @amihaiemil/z, here is why. The budget is 15 minutes, see §4. Please, read §27 and when you decide to accept the changes, inform @yegor256/z (the architect) right in this ticket. If you decide that this PR should not be accepted ever, also inform the architect.

@g4s8
Copy link
Contributor

g4s8 commented Feb 21, 2018

@0crat status

@0crat
Copy link
Collaborator

0crat commented Feb 21, 2018

@0crat status (here)

@g4s8 This is what I know about this job, as in §32:

@0crat
Copy link
Collaborator

0crat commented Feb 25, 2018

@amihaiemil/z this job was assigned to you 5 days ago. It will be taken away from you soon, unless you close it, see §8. Read this and this, please.

@amihaiemil
Copy link

@yegor256 Could you resign me here?

@yegor256
Copy link
Owner

@0crat refuse

@0crat
Copy link
Collaborator

0crat commented Feb 27, 2018

@0crat refuse (here)

@yegor256 The user @amihaiemil/z resigned from #694, please stop working. Reason for job resignation: Order was cancelled

@yegor256
Copy link
Owner

@0crat out

@0crat 0crat removed the scope label Feb 27, 2018
@0crat
Copy link
Collaborator

0crat commented Feb 27, 2018

@0crat out (here)

@yegor256 The job #694 is now out of scope

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.

5 participants