Skip to content

Conversation

ShalomGottesman
Copy link
Contributor

This request is a correction to a previous one that had extra code and missed annotations. see #1513

@0crat 0crat added the scope label Jan 20, 2020
@0crat
Copy link

0crat commented Jan 20, 2020

Job #1514 is now in scope, role is REV

@ShalomGottesman
Copy link
Contributor Author

I learned that if I push more updates to the same branch that already has a pull request, then the new commits are added to that request. My apologies for making two requests into one. Next time I will open a separate branch if I want to request two commits be added.

@amihaiemil
Copy link
Member

@ShalomGottesman I don't really understand, this PR looks almost the same as the initial one :D
You can just fix that PR and it's ok.

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

Successfully merging this pull request may close these issues.

3 participants