Geil. Nach einem git pull
funzt die Website nicht mehr.
Nach einem
# git reset --hard master@{"60 minutes ago"} Checking out files: 100% (2060/2060), done. HEAD is now at 95a16c801 Update requirements with PHP 7.1+, MySQL 5.6+ and MariaDB 10.0.5+
funzt die Website wieder 🙂