Add post-PR metrics script for GitHub actions #688

Bugbot Review

Bugbot Analysis Progress (3m 10s elapsed)

✅ Gathered PR context (1s)
✅ Completed bug detection (3m 5s)
✅ Posted analysis results (4s)

Final Result: Bugbot completed review and found 4 potential issues.

Request ID: serverGenReqId_0b823fc6-ad77-4be6-8bac-078cb68c8549

Cursor Bugbot has reviewed your changes and found 4 potential issues.

^{Reviewed by Cursor Bugbot for commit 6193de5. Configure here.}