[Lima-commits] branch release/0.8.7 deleted (was 75be3c38)