PHP-Tricks für PHP, Git, PhpStorm, Linux Command Line und vieles mehr sind kleine HowTo Tutorial Snippets für unser PHP-Training
AllgemeinGastbeitragPHP-TricksSoftware-QualitätWebdevelopment-Tools
Git branch delete merged – Aufräumen der lokalen Umgebung
Beim lokalen Git Repository sucht man schnell nach „Git branch delete merged“. Gerade lokal sammeln…