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

Give user a link to create PR after push #4716

Merged
merged 5 commits into from
Oct 20, 2018
Merged

Give user a link to create PR after push #4716

merged 5 commits into from
Oct 20, 2018

Commits on Aug 15, 2018

  1. Give user a link to create PR after push

    @JulienTant
    JulienTant committed Aug 15, 2018
    Configuration menu
    Copy the full SHA
    965aa2a View commit details
    Browse the repository at this point in the history

  2. Forks now create PR in the base repository + make sure PR creation is… 

    … allowed
    @JulienTant
    JulienTant committed Aug 15, 2018
    Configuration menu
    Copy the full SHA
    5af0426 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2018

  1. fix code style

    @JulienTant
    JulienTant committed Aug 16, 2018
    Configuration menu
    Copy the full SHA
    17c233c View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2018

  1. Merge branch 'master' into create-pr-after-push

    @JulienTant
    JulienTant committed Oct 1, 2018
    Configuration menu
    Copy the full SHA
    92d2982 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2018

  1. Merge branch 'master' into create-pr-after-push

    @lunny
    lunny committed Oct 20, 2018
    Configuration menu
    Copy the full SHA
    d7a6db3 View commit details
    Browse the repository at this point in the history