git gcc-backport.py : No such file or directory

[Thomas Koenig via Gcc]

Hi Martin,

currently, doing git gcc-backport from a gcc9 branch results in
$ git gcc-backport r11-588-g8df7ee67f6fdc780e9453f2baa8d1bf62c000761
environment: /home/ig25/Gcc/gcc9/contrib/git-backport.py: No such file 
or directory

Would it make sense to push the git-backport.py file to the release
branches, as well?

Regards

        Thomas