Closed WaleedAshraf closed 1 month ago
Closing this PR. My initial thought was that we follow these PR rules in all the repos, but that's not the case. For example, in the Summit repo, we merge changes directly, sometimes even directly push to main for typos.
Indeed, these rules only apply to this repo.