When making a new core release, how do mantainers tag the core modules and update their info files?

Question

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?

Answer 1

Yes, it is an automated process, check below:

The version string will be added by drupal.org when a release is created and a tarball packaged. However, if your module is not being hosted on the drupal.org infrastructure, you can give your module whatever version string makes sense (eg. see Release naming conventions).

NOTE: The above description is exact copy paste from Drupal.org link.