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

Dont validate a queued PR twice #158

Merged
merged 1 commit into from
Apr 30, 2020
Merged

Dont validate a queued PR twice #158

merged 1 commit into from
Apr 30, 2020

Conversation

bastelfreak
Copy link
Member

If a PR comes in and has no mergeable attribute, we put a job into our
queue for a minute. Afterwards we checked the PR status twice. This
isn't required. This patch removed the duplicate check.

@bastelfreak bastelfreak added bug Something isn't working backend/eventhandler How incoming data is handled backend/poll-engine How we poll data and handle it labels Apr 30, 2020
@bastelfreak bastelfreak requested a review from a team as a code owner April 30, 2020 18:29
@bastelfreak bastelfreak self-assigned this Apr 30, 2020
@bastelfreak bastelfreak added this to the merge conflicts milestone Apr 30, 2020
If a PR comes in and has no `mergeable` attribute, we put a job into our
queue for a minute. Afterwards we checked the PR status twice. This
isn't required. This patch removed the duplicate check.
@bastelfreak bastelfreak force-pushed the fix-duplicate-action branch from d49d2c3 to 45227cb Compare April 30, 2020 18:35
@Flipez Flipez merged commit 715a6e9 into master Apr 30, 2020
@Flipez Flipez deleted the fix-duplicate-action branch April 30, 2020 18:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backend/eventhandler How incoming data is handled backend/poll-engine How we poll data and handle it bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants