Repository to share PhpStorm settings across multiple machines.