For the barbecue marinade, finely chop the onion. Put the olive oil in a bowl, add the onion pieces, press the garlic into it and mix well with ketchup and the herbs.
Put the marinade in a freezer bag and add the grilled meat. Leave to marinate for a few hours in the refrigerator, turning frequently.