github-utils

Add example usage

Merge pull request #1 from DaneWeber/example-branch

Point to new repo and rename script file

GenAI: script for finding PR commits lost to force-push

Initial commit