PhpStorm plugin aimed at simplifying tasks at the junction of the local repository and the repository on the dev server - View it on GitHub