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

chore: Application is not deleted if the branch is deleted on merge #96

Merged
merged 5 commits into from
Aug 31, 2023
Merged

chore: Application is not deleted if the branch is deleted on merge #96

merged 5 commits into from
Aug 31, 2023

Commits on Aug 30, 2023

  1. chore: onbranch template

    @spchortis
    spchortis committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    45586d0 View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2023

  1. Merge branch 'main' into bug/closed_pr

    @spchortis
    spchortis committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    51edd55 View commit details
    Browse the repository at this point in the history

  2. chore: update branch name ref flag

    @spchortis
    spchortis committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    2791192 View commit details
    Browse the repository at this point in the history

  3. chore: update github branch ref on closed pr case

    @spchortis
    spchortis committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    48abcea View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into bug/closed_pr

    @spchortis
    spchortis committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    f76b26e View commit details
    Browse the repository at this point in the history