1de0b0e5eb
this switches from GitHub to PyPi, because the build requires a proper release tarball also PyPi release does contain tests, so we don't strictly require GitHub checkout (cherry picked from commit 0f2201119b414aaf306dc8461a4095a4eb7399e5)