diff options
| author | Arun Isaac | 2022-01-21 15:28:39 +0530 |
|---|---|---|
| committer | Arun Isaac | 2022-01-21 15:30:43 +0530 |
| commit | 9d9cfd67e06264eb7a2fb2cfa006568c5264abbb (patch) | |
| tree | 153dc59e6cab275f94ef631261da3c651d1bdd1a | |
| parent | 7d86d1c93fa1c8938fa3db2713a788e6164ec603 (diff) | |
| download | guix-forge-9d9cfd67e06264eb7a2fb2cfa006568c5264abbb.tar.gz guix-forge-9d9cfd67e06264eb7a2fb2cfa006568c5264abbb.tar.lz guix-forge-9d9cfd67e06264eb7a2fb2cfa006568c5264abbb.zip | |
forge: Make user field of <forge-project-configuration> optional.
* forge/forge.scm (<forge-project-configuration>)[user]: Set default
value to #f.
| -rw-r--r-- | forge/forge.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/forge/forge.scm b/forge/forge.scm index eb4e28c..462e555 100644 --- a/forge/forge.scm +++ b/forge/forge.scm @@ -38,7 +38,10 @@ forge-project-configuration make-forge-project-configuration forge-project-configuration? (name forge-project-configuration-name) - (user forge-project-configuration-user) + ;; The user field is optional because the repository may be remote + ;; and not need to be owned by any user. + (user forge-project-configuration-user + (default #f)) (repository forge-project-configuration-repository) (description forge-project-configuration-description (default #f)) |