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

get project's owners and permissions of various users #101

Merged
merged 5 commits into from
Jul 12, 2019
Merged

get project's owners and permissions of various users #101

merged 5 commits into from
Jul 12, 2019

Commits on Jul 11, 2019

  1. get project's owners and permissions of various users

    @marusinm
    marusinm committed Jul 11, 2019
    Configuration menu
    Copy the full SHA
    fb84c27 View commit details
    Browse the repository at this point in the history

  2. fix mypy errors

    @marusinm
    marusinm committed Jul 11, 2019
    Configuration menu
    Copy the full SHA
    7b46e35 View commit details
    Browse the repository at this point in the history

  3. fix review notes, add can_close_issue and can_merge_pr, remove who_ca… 

    …n_close_issue and who_can_merge_pr
    @marusinm
    marusinm committed Jul 11, 2019
    Configuration menu
    Copy the full SHA
    612b293 View commit details
    Browse the repository at this point in the history

  4. delete obsolete comments

    @marusinm
    marusinm committed Jul 11, 2019
    Configuration menu
    Copy the full SHA
    311478a View commit details
    Browse the repository at this point in the history

  5. add who_can_marge_pr and who_can_close_issue

    @marusinm
    marusinm committed Jul 11, 2019
    Configuration menu
    Copy the full SHA
    171f1fc View commit details
    Browse the repository at this point in the history