Data

Tools

Indexes

Applications

Experiments

Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / Automattic/github-automatic-branch-deletion-experiment issues and pull requests

#2 - PR that once merged should not delete the head branch

Pull Request - State: closed - Opened by mokagio about 5 years ago - 1 comment

#1 - PR that should delete head branch once merged

Pull Request - State: closed - Opened by mokagio about 5 years ago