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

GH-38315: [Dev][CI] autotune needs additional permissions to push to PR branches #38523

Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

GH-38315: [Dev][CI] autotune needs additional permissions to push to PR branches #38523

wants to merge 4 commits into from

Commits on Oct 31, 2023

  1. Add write permissions to the contents key

    @thisisnic
    thisisnic committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    2fe9465 View commit details
    Browse the repository at this point in the history

  2. Break formatting to fix formatting

    @thisisnic
    thisisnic committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    10f707d View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. Set fetch-depth so we retrieve the relevant branches

    @thisisnic
    thisisnic committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    6e88b8b View commit details
    Browse the repository at this point in the history

  2. Revert changed file

    @thisisnic
    thisisnic committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    2a8f524 View commit details
    Browse the repository at this point in the history