Besides, even if we ignore everything, Gavin does not need to have commit access anymore. While I do not understand the exact 'process' which was used to determine the set of people who will have commit access,
Satoshi gave him access.
Gavin is no longer a part of them. People who have stopped contributing to the project should not retain access.
Self-fulfilling prophesy if access is taken away. Is there a mechanism for taking away such privileges? 95% super-majority consensus, something like that?