No GitHub account is listed on this public Cursor profile, so GitHub commits stay off. Same handle as GitHub is not enough.
Same public numbers Cursor already shows at cursor.com/@miguel. GitHub numbers below are the same public commits as a commits.sh GitHub profile. Not the Mac stream. Not market settlement.