The git server can echo whatever it wants down to the client (this is how Github put in those neat URLs to create a PR when you push a new branch) so this is ve

The git server can echo whatever it wants down to the client (this is how Github put in those neat URLs to create a PR when you push a new branch) so this is very much already possible.