we'll no longer ignore /lib
now GitHub can detect /lib by editing .gitignore