Restore CI operation 
Restore CI operation 

Renaming is easier, but GitHub seems to miss CI which is quite a foot/head gun
gitpython-developers/GitPython,gitpython-developers/gitpython,gitpython-developers/gitpython,gitpython-developers/GitPython