[checkmk-commits] gb: new option --ids for show: show only bug ids