I launched goPhp71.org in June 2017, just 6 months after release of PHP 7.1. In those times nobody was sure what version to require - 7.1? 7.0? Or wait for 7.2?

Future is now. There is no need for the initiative now and it's time to let it go.

How much did it cost? What was the effect? ...