Skip to content

Add links to pull requests #11

Open
Open
Add links to pull requests#11
Labels
Status: ProposalType: Enhancement

Description

@mantoni
mantoni
opened on May 11, 2017

It would be awesome if this tool could detect commits that landed via a pull request and then create proper links.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Status: ProposalType: Enhancement

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions