I currently use the same thing and the issue is that you can't simply clone repo...

mladen5 on July 26, 2023 | parent | context | favorite | on: Use multiple Git SSH identities on a single comput...

I currently use the same thing and the issue is that you can't simply clone repo by copying url, you need to edit it each time. Not sure how does your GIT_SSH_COMMAND achieves in this case?