If a pull request is merged as the result of a push, the merge commit should be displayed in the PR activity

XMLWordPrintable

    • Type: Suggestion
    • Resolution: Unresolved
    • None
    • Component/s: None
    • None
    • 6
    • 3

            Assignee:
            Unassigned
            Reporter:
            TimP
            Votes:
            6 Vote for this issue
            Watchers:
            11 Start watching this issue

              Created:
              Updated: