POD edits.
Better message when repository is locked.
Update location of the repo for installing Pinto.
Merge branch 'master' of github.com:thaljef/Pinto