Skip to content

Github integration: merging pull requests use the wrong user name. #2

@adunkman

Description

@adunkman

Just a moment ago, someone else merged NodeDC/node.dc#16, and the IRC notification lied!

(notice) adunkman has just merged NodeDC/node.dc:homepage-copy into NodeDC/node.dc:master — NodeDC/node.dc#16.

I didn’t merge them, but I did author them. Likely just using the wrong key in the message.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions