When Drupal maintainers make a new core release, how do they tag the core modules and update their info files? I have noticed that all the core modules of Drupal 7.43 have a section in their info files that looks like this:
version = "7.43"
project = "drupal"
datestamp = "1456343506"
Is there an automated procedure that runs GIT to merge branches, tag releases and updates the info files accordingly?