Webdevelopment-Tools Tricks, Tutorials und HowTos für PhPStorm, Git, oh-my-zsh, Docker, Gitlab in praktischen Blog Post für die Community
Git branch delete merged – Aufräumen der lokalen Umgebung
Beim lokalen Git Repository sucht man schnell nach „Git branch delete merged“. Gerade lokal sammeln…