Push and Pull with PhpStorm and GitHub