Using GitHub with PHPStorm