[PRQ#68871] Deletion Request for libopencm3-git