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.

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

Whitelist repo #378

Merged
merged 5 commits into from
May 9, 2020
Merged

Whitelist repo #378

merged 5 commits into from
May 9, 2020

Conversation

zricethezav
Copy link
Collaborator

Description:

Adds whitelist repo config option

Checklist:

  • Does your PR pass tests?
  • Have you written new tests for your changes?
  • Have you lint your code locally prior to submission?

@zricethezav zricethezav mentioned this pull request May 9, 2020
Closed
@zricethezav zricethezav merged commit 473d0d5 into master May 9, 2020
@zricethezav zricethezav deleted the whitelist-repo branch December 3, 2020 14:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@zricethezav