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

use github app for auto-merge-bot #94

Merged
merged 3 commits into from
Nov 17, 2023
Merged

use github app for auto-merge-bot #94

merged 3 commits into from
Nov 17, 2023

Commits on Nov 16, 2023

  1. use github app for auto-merge-bot 

    This changes the credentials for auto-merge-bot

With this it stops using a GitHub action but instead it uses a GitHub app, by using a GitHub app, PRs merged by it will trigger GitHub actions.

This is to circumvent a security measure set up by GitHub to stop recursive action executions.
    @Bullrich
    Bullrich committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    5b79845 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2023

  1. Merge branch 'main' into auto-merge-bot-to-app

    @bkchr
    bkchr authored Nov 17, 2023
    Configuration menu
    Copy the full SHA
    4d35027 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into auto-merge-bot-to-app

    @bkchr
    bkchr authored Nov 17, 2023
    Configuration menu
    Copy the full SHA
    231c221 View commit details
    Browse the repository at this point in the history