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

github's "reflog" is the activity log API https://docs.github.com/en/rest/activity?apiVersion=2022-11-28 https://docs.github.com/en/rest/activity?apiVersion=2022-11-... Useful in case someone force-pushes and no one has the good ref locally.