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: