Faut-il faire un 'git pull' ?

The git pull brings down new versions of the discourse_docker repo, which is the launcher program itself (and all its supporting materials). We do, from time to time, make useful improvements there, although it’s far less frequent (and critical) than updating the application itself.