Skip to content

Conversation

@asottile
Copy link
Contributor

@asottile
Copy link
ContributorAuthor

(needs backport to 3.8 only)

@warsaw
Copy link
Member

@Mariatta Interesting buglet: If I add two labels at the same time (i.e. skip-news and skip-issue), it seems like the bot only gets one of them. I had to unapply skip-news and then reapply it.

@Mariatta
Copy link
Member

Hmm this might be a GitHub related issue, a race condition of some sort..

@warsawwarsaw merged commit 65e5860 into python:masterJun 7, 2019
@bedevere-bot
Copy link

@warsaw: Please replace # with GH- in the commit message next time. Thanks!

@miss-islington
Copy link
Contributor

Thanks @asottile for the PR, and @warsaw for merging it 🌮🎉.. I'm working now to backport this PR to: 3.8.
🐍🍒⛏🤖

@warsaw
Copy link
Member

Hmm this might be a GitHub related issue, a race condition of some sort..

Yeah, probably

@bedevere-bot
Copy link

GH-13904 is a backport of this pull request to the 3.8 branch.

Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants

@asottile@warsaw@Mariatta@bedevere-bot@miss-islington@the-knights-who-say-ni