For BepiColombo, it's a git pull. For the others, may be trickier.
For BepiColombo, it's a git pull.
For the others, may be trickier.