Merge & close tickets
"; } else { echo "
$ticket_prefix
"; } ?>
Selected tickets will be closed once merging is complete.