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

DCO/NO label not getting removed #3958

Closed
CarstenHoyer opened this issue Sep 18, 2016 · 1 comment
Closed

DCO/NO label not getting removed #3958

CarstenHoyer opened this issue Sep 18, 2016 · 1 comment

Comments

@CarstenHoyer
Copy link

#3939

I created a pull request. It git the label dco/no because it wasn´t signed.
I then got it signed and forced push an amend.
The dco/no label was removed by the nice turtle.

I then switched to a different computer, made some changes and forced pushed another amend.
This time the commit was not signed, so the turtle reapplied the dco/no label.

I then fixed my key issues and forced pushed yet another amend.
This time the dco/no seems to not go away again.

@shin-
Copy link

shin- commented Sep 20, 2016

Yeah, the bot is quirky like that sometimes. I wouldn't worry too much about it. I removed the label manually.

@shin- shin- closed this as completed Sep 20, 2016
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

No branches or pull requests

2 participants