Skip to content
This repository has been archived by the owner on Apr 4, 2024. It is now read-only.

Fixing branch deletion when PR is closed when using squash and merge #778

Merged
merged 2 commits into from Oct 21, 2019
Merged

Fixing branch deletion when PR is closed when using squash and merge #778

merged 2 commits into from Oct 21, 2019

Commits on Oct 18, 2019

  1. Fixing branch deletion when PR is closed when using squash and merge

    @gmendonca
    gmendonca committed Oct 18, 2019
    Configuration menu
    Copy the full SHA
    3e07ce7 View commit details
    Browse the repository at this point in the history

  2. Using cond instead

    @gmendonca
    gmendonca committed Oct 18, 2019
    Configuration menu
    Copy the full SHA
    4de0435 View commit details
    Browse the repository at this point in the history