@User: I checked in the script to open_pdks in the master branch on opencircuitdesign.com, so it will not appear on the github site until I do a mirror push. Normally that would happen at 3:00 am my time, but I will probably be doing a manual push later today.