[Code Review] Skip re-review for capitalized repo names

CHANGELOG · original

[Code Review] Fixed empty or content-identical pushes being re-reviewed on GitHub repositories whose owner or name contains a capital letter; these pushes are now skipped