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

Resolve admins and collaborators on pull requests as approval actors #48

Merged
merged 4 commits into from
Jan 23, 2019
Merged

Resolve admins and collaborators on pull requests as approval actors #48

merged 4 commits into from
Jan 23, 2019

Commits on Jan 21, 2019

  1. Resolve admins and collaborators on pull requests as approval actors 

    Fixes #15
    @asvoboda
    asvoboda committed Jan 21, 2019
    Configuration menu
    Copy the full SHA
    aa4fb71 View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2019

  1. Refactor yaml struct for github admin/write collaborators 

    * Use correct github permission strings for comparison
    @asvoboda
    asvoboda committed Jan 22, 2019
    Configuration menu
    Copy the full SHA
    247da37 View commit details
    Browse the repository at this point in the history

  2. remove unnecessary debug logging

    @asvoboda
    asvoboda committed Jan 22, 2019
    Configuration menu
    Copy the full SHA
    c02329b View commit details
    Browse the repository at this point in the history

  3. run gofmt

    @asvoboda
    asvoboda committed Jan 22, 2019
    Configuration menu
    Copy the full SHA
    764b35a View commit details
    Browse the repository at this point in the history