Comment by bonchibuji

Isn't this one of the April 1st jokes from 2012? Most of the commits were made on March 31, 2012[1]. And there's even a reference to the pi joke[2].

[1] https://github.com/philipl/pifs/commits/master

[2] http://www.netfunny.com/rhf/jokes/01/Jun/pi.html