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.
Useful in case someone force-pushes and no one has the good ref locally.