lib/mysql-functions: mysql_retrieve_static_information(): extract current git head revisions, too

1 files changed, 5 insertions, 2 deletions

diff --git a/lib/mysql-functions b/lib/mysql-functions
index 60ab177..2316079 100755
--- a/lib/mysql-functions
+++ b/lib/mysql-functions
@@ -1220,7 +1220,7 @@ mysql_join_dependencies_install_target_providers_with_versions() {
 # retrieve some static information from the database:
 # - ids of architectures -> $architecture_ids__$arch
 # - ids of package repositories -> $repository_ids__$arch_$repo
-# - names and paths of git_repositories
+# - names, paths and heads of git_repositories
 # - ids of repository_stabilities
 mysql_retrieve_static_information() {
   eval "$(
@@ -1247,7 +1247,10 @@ mysql_retrieve_static_information() {
       printf 'SELECT CONCAT('
       printf '"repo_paths__",'
       printf '`git_repositories`.`name`,"=",'
-      printf '"\\"",`git_repositories`.`directory`,"\\"")'
+      printf '"\\"",`git_repositories`.`directory`,"\\";'
+      printf 'repo_heads__",'
+      printf '`git_repositories`.`name`,"=",'
+      printf '"\\"",`git_repositories`.`head`,"\\"")'
       printf ' FROM `git_repositories`;\n'
       printf 'SELECT CONCAT('
       printf '"repository_stability_ids__",'