Skip to content

[Merged by Bors] - Check whistle-blower index #1911

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.

Sign up for GitHub

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

Jump to bottom
Closed
paulhauner wants to merge 1 commit into from
Closed

[Merged by Bors] - Check whistle-blower index #1911

paulhauner wants to merge 1 commit into from

Conversation

@paulhauner
Copy link
Member

@paulhauner paulhauner commented Nov 16, 2020

Issue Addressed

Proposed Changes

See #1910

Additional Info

NA

@paulhauner paulhauner added the ready-for-review The code is ready for review label Nov 16, 2020
@paulhauner paulhauner self-assigned this Nov 16, 2020
michaelsproul
michaelsproul approved these changes Nov 16, 2020
View reviewed changes
Copy link
Member

@michaelsproul michaelsproul left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@paulhauner paulhauner added ready-for-merge This PR is ready to merge. and removed ready-for-review The code is ready for review labels Nov 16, 2020
@paulhauner
Copy link
Member Author

paulhauner commented Nov 16, 2020

bors r+

@paulhauner paulhauner added the A0 label Nov 16, 2020
@paulhauner
Copy link
Member Author

paulhauner commented Nov 16, 2020

bors retry

@bors
Copy link

bors bot commented Nov 16, 2020

Already running a review

bors bot pushed a commit that referenced this pull request Nov 16, 2020
@paulhauner
Check whistle-blower index (#1911)
836eaf5 
## Issue Addressed

- Resolves #1910

## Proposed Changes

See #1910

## Additional Info

NA
@bors
Copy link

bors bot commented Nov 16, 2020

Pull request successfully merged into master.

Build succeeded:

@bors bors bot changed the title Check whistle-blower index [Merged by Bors] - Check whistle-blower index Nov 16, 2020
@bors bors bot closed this Nov 16, 2020
@paulhauner paulhauner deleted the wb-index branch March 17, 2021 06:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@michaelsproul michaelsproul michaelsproul approved these changes

Assignees

@paulhauner paulhauner

Labels

A0 ready-for-merge This PR is ready to merge.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Missing whistleblower index check

3 participants

@paulhauner @michaelsproul