Added credentials

2026-08-10 15:46:39 +02:00
parent 4689c56e4d
commit a72604e290
8 changed files with 190 additions and 54 deletions
@@ -18,6 +18,7 @@
         git-credentials-unlock-expires
         git-credentials-set!
         git-credentials-ref
+         git-credentials-configured?
         git-credentials-remove!)

 (define git-credentials-store 'racket-git)
@@ -199,6 +200,13 @@
  (store-write (current-git-credentials-store) ini)
  (void))

+(define (git-credentials-configured? remote)
+  (define section (credential-section remote))
+  (define username (store-get (current-git-credentials-store) section 'username #f))
+  (define encrypted (store-get (current-git-credentials-store) section 'token #f))
+  (and (string? username) (not (string=? username ""))
+       (string? encrypted) (not (string=? encrypted ""))))
+
 (define (git-credentials-ref remote)
  (define section (credential-section remote))
  (define username (store-get (current-git-credentials-store) section 'username #f))