[checkmk-commits] Check_MK Git: check_mk: Bug IDs can now be reserved to prevent bug id conflicts with other developers