Rename script that fetches commit hashes
The script that fetches commit hashes can also fetch hashes for tags. The name of the script suggests, however, that it will (always) fetch the hashes of the latest commits, which is not true. It was therefore renamed.