If the SHA has not changed, there is no logging.INFO message to inform users that we have actually checked git. This means that git pulling can be activated without the user really knowing (until it eventually pulls when the SHA of origin changes vs. HEAD).
If the SHA has not changed, there is no logging.INFO message to inform users that we have actually checked git. This means that git pulling can be activated without the user really knowing (until it eventually pulls when the SHA of origin changes vs. HEAD).