Comment by tonymet

github's "reflog" is the activity log API https://docs.github.com/en/rest/activity?apiVersion=2022-11-...

Useful in case someone force-pushes and no one has the good ref locally.