Pull Request commits should show when they were pushed

[jsoref]

Select Topic Area

Product Feedback

Body

Consider memgraph/memgraph#1117

It doesn't appear that anything has happened to this PR since August 1

Specifically

jsoref added 11 commits 2 months ago
gitbuda approved these changes on Jul 30
gitbuda gitbuda added this to the mg-v2.10.0 milestone on Jul 30
gitbuda gitbuda added Importance - I2 Effort - Low labels on Jul 30
gitbuda gitbuda modified the milestones: mg-v2.10.0, mg-v2.11.0 on Jul 30
gitbuda gitbuda assigned jsoref on Aug 1
gitbuda Merge branch 'master' into spelling-b 3467c62

This last item is really confusing.

https://github.com/memgraph/memgraph/pull/1117/commits/3467c62e73e4836c53b6fa423bf2bcc9a2b8d1d5.patch

Date: Thu, 27 Jul 2023 10:33:32 +0200

So the commit was created in July...

But if you visit:
memgraph/memgraph@3467c62

And look really carefully, you might notice:
gitbuda committed 30 minutes ago

This is discoverable via:
https://api.github.com/repos/jsoref/memgraph/events

[
  {
    "id": "31679513812",
    "type": "PushEvent",
    "actor": {
      "id": 4950251,
      "login": "gitbuda",
      "display_login": "gitbuda",
      "gravatar_id": "",
      "url": "https://api.github.com/users/gitbuda",
      "avatar_url": "https://avatars.githubusercontent.com/u/4950251?"
    },
    "repo": {
      "id": 653331598,
      "name": "jsoref/memgraph",
      "url": "https://api.github.com/repos/jsoref/memgraph"
    },
    "payload": {
      "repository_id": 653331598,
      "push_id": 14962415540,
      "size": 69,
      "distinct_size": 53,
      "ref": "refs/heads/spelling-b",
      "head": "3467c62e73e4836c53b6fa423bf2bcc9a2b8d1d5",
      "before": "294e8a388857b36a08633367d635cddb1cfcd034",
      "commits": [
        {
          "sha": "e489e4f3e7fa88bd02b967740b6863a5124b9593",
          "author": {
            "email": "[email protected]",
            "name": "Matija Pintarić"
          },
          "message": "Extend insert on Record to accept mgp::Value (#1094)",
          "distinct": false,
          "url": "https://api.github.com/repos/jsoref/memgraph/commits/e489e4f3e7fa88bd02b967740b6863a5124b9593"
        },
        ...
        {
          "sha": "60f4ffc6a1bf6b0cd7b7c013af47dc3924796778",
          "author": {
            "email": "[email protected]",
            "name": "Andi"
          },
          "message": "Improve logging if replica cannot recover using curr WAL file (#1086)",
          "distinct": true,
          "url": "https://api.github.com/repos/jsoref/memgraph/commits/60f4ffc6a1bf6b0cd7b7c013af47dc3924796778"
        }
      ]
    },
    ...
    "created_at": "2023-09-07T21:47:00Z"
  },
...
]

Which does indeed show this happened today...

There should have been a gitbuda added 1 commit today entry in the PR log.