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

Automerge every 4 hours any labeled PR with passing tests #675

Merged
merged 6 commits into from
Sep 17, 2024
Merged

Automerge every 4 hours any labeled PR with passing tests #675

merged 6 commits into from
Sep 17, 2024

Commits on Sep 16, 2024

  1. Automerge every 15-min any PR with passing tests labeled with 'autome… 

    …rge'
    @addyess
    addyess committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    cbe0f06 View commit details
    Browse the repository at this point in the history

  2. Make sure the bot can approve the PRs too

    @addyess
    addyess committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    29f1a6e View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. Update Bot information only if git email currently unset

    @addyess
    addyess committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    fec52d5 View commit details
    Browse the repository at this point in the history

  2. consistently use private key secret to setup ssh git-remote

    @addyess
    addyess committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    4a4bac8 View commit details
    Browse the repository at this point in the history

  3. Rename secret to BOT_SSH_KEY

    @addyess
    addyess committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    1abd2ec View commit details
    Browse the repository at this point in the history

  4. Reimagine auto-merge scripts as python

    @addyess
    addyess committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    8a74c29 View commit details
    Browse the repository at this point in the history