I would like to retrieve the time at which GitHub has received (recent) commits of a project. To do this, I considered asking for the push events of the project I am interested in.
However, I have observed that very often, some existing (recent) push events are omitted.
Consider this project as an example. I have pushed a single commit on the 26th of July. The commit is indeed listed here, but no push events are listed at all when requesting all events related to the project, even when I am authenticated as the owner of the project.
- Is this a bug? Would GitHub please consider fixing it so that the list of events really contain all (recent) push events?
- Is there another way of retrieving a timestamp by GitHub associated to push commands? (I am okay to use V4 GraphQL as well, but did not find anything useful there related to timestamp of push events.)
The reason I am interested in timestamps provided by GitHub is that I use GitHub as a trusted time source. The commits themselves contain timestamps, but the client can put whatever time is desired there. I need to know the real time commits were sent to GitHub to grade student works and penalize them if they are late.
I know that GitHub classroom (which I am a happy user of) provides some timestamping option, but it does not permit to get a timestamp to multiple commits as I would like to have. See also this post for more background (and for my previous attempt to ask for help).
I am also aware that GitHub will not provide events older than three months through its API. That’s fine with me. My goal is to retrieve timestamps of recent events (meaning, say, one month old or more recent).