Use numeric ids for git repositories

This commit is contained in:
Christopher Baines 2019-09-05 16:40:39 +02:00
parent 38adedcede
commit fe8102e1df
3 changed files with 15 additions and 7 deletions

View file

@ -11,10 +11,17 @@
guix-revisions-and-jobs-for-git-repository))
(define (all-git-repositories conn)
(exec-query
conn
(string-append
"SELECT id, label, url, cgit_url_base FROM git_repositories ORDER BY id ASC")))
(map
(match-lambda
((id label url cgit-base-url)
(list (string->number id)
label
url
cgit-base-url)))
(exec-query
conn
(string-append
"SELECT id, label, url, cgit_url_base FROM git_repositories ORDER BY id ASC"))))
(define (select-git-repository conn id)
(match (exec-query