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

Discard duplicate checks #235

merged 1 commit into from Nov 5, 2019


Copy link

@rwestberg rwestberg commented Nov 5, 2019

Hi all,

Please review this minor change that discards multiple GitHub checks with the same name for the same commit. Skara never generates these, but they may appear from external sources.

Best regards,


  • Change must not contain extraneous whitespace
  • Change must be properly reviewed


Copy link

@bridgekeeper bridgekeeper bot commented Nov 5, 2019

👋 Welcome back rwestberg! A progress list of the required criteria for merging this PR into master will be added to the body of your pull request (refresh this page to view it).

@openjdk openjdk bot added the rfr label Nov 5, 2019
Copy link

@mlbridge mlbridge bot commented Nov 5, 2019


edvbld approved these changes Nov 5, 2019
Copy link

@edvbld edvbld left a comment

Looks good!

@openjdk openjdk bot removed the rfr label Nov 5, 2019
Copy link

@openjdk openjdk bot commented Nov 5, 2019

@rwestberg This change can now be integrated. The commit message will be:

Discard duplicate checks

Reviewed-by: ehelin
  • If you would like to add a summary, use the /summary command.
  • To list additional contributors, use the /contributor command.
  • To integrate this PR with the above commit message, type /integrate in a new comment.

@openjdk openjdk bot added the ready label Nov 5, 2019
Reviewed-by: ehelin
@rwestberg rwestberg merged commit 8c37b49 into openjdk:master Nov 5, 2019
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
2 participants