Get FLEx model version from repo and store in metadata

backend/LexBoxApi/GraphQL/ProjectMutations.cs

@@ -412,6 +412,25 @@ public async Task<IQueryable<Project>> UpdateLangProjectId(string code,
         return dbContext.Projects.Where(p => p.Id == projectId);
     }
 
+    [Error<NotFoundException>]
+    [Error<DbError>]
+    [Error<UnauthorizedAccessException>]
+    [UseMutationConvention]
+    [UseFirstOrDefault]
+    [UseProjection]
+    public async Task<IQueryable<Project>> UpdateFLExModelVersion(string code,
+        IPermissionService permissionService,
+        [Service] ProjectService projectService,
+        LexBoxDbContext dbContext)
+    {
+        var projectId = await projectService.LookupProjectId(code);
+        await permissionService.AssertCanManageProject(projectId);
+        var project = await dbContext.Projects.FindAsync(projectId);
+        NotFoundException.ThrowIfNull(project);
+        await projectService.UpdateFLExModelVersion(projectId);
+        return dbContext.Projects.Where(p => p.Id == projectId);
+    }
+
     [Error<NotFoundException>]
     [Error<LastMemberCantLeaveException>]
     [UseMutationConvention]

backend/LexBoxApi/Services/HgService.cs

@@ -267,6 +267,22 @@
         return null;
     }
 
+    public async Task<int?> GetModelVersionOfFlexProject(ProjectCode code, CancellationToken token = default)
+    {
+        var result = await ExecuteHgCommandServerCommand(code, "flexmodelversion", token);
+        var text = await result.ReadAsStringAsync(token);
+        try
+        {
+            var json = JsonDocument.Parse(text);
+            return json.RootElement.GetProperty("modelversion").GetInt32();
+        }
+        catch
+        {
+            if (int.TryParse(text, out var num)) return num;
+        }
+        return null;
+    }
+
     public Task RevertRepo(ProjectCode code, string revHash)
     {
         throw new NotImplementedException();
@@ -430,7 +446,7 @@
             {
                 var hash = await GetTipHash(code, timeoutSource.Token);
                 var isEmpty = hash == AllZeroHash;
                 done = expectedState switch
                 {
                     RepoEmptyState.Empty => isEmpty,
                     RepoEmptyState.NonEmpty => !isEmpty

backend/LexBoxApi/Services/ProjectService.cs

@@ -81,6 +81,18 @@ public async Task UpdateProjectLangProjectId(Guid projectId)
         await dbContext.SaveChangesAsync();
     }
 
+    public async Task UpdateFLExModelVersion(Guid projectId)
+    {
+        var project = await dbContext.Projects.FindAsync(projectId);
+        if (project is null || project.Type != ProjectType.FLEx) return;
+        await dbContext.Entry(project).Reference(p => p.FlexProjectMetadata).LoadAsync();
+        var modelVersion = await hgService.GetModelVersionOfFlexProject(project.Code);
+        if (modelVersion is null) return;
+        project.FlexProjectMetadata ??= new FlexProjectMetadata();
+        project.FlexProjectMetadata.FlexModelVersion = modelVersion;
+        await dbContext.SaveChangesAsync();
+    }
+
     public async Task<Guid> CreateDraftProject(CreateProjectInput input)
     {
         // No need for a transaction if we're just saving a single item

backend/LexCore/Entities/FlexProjectMetadata.cs

@@ -10,6 +10,7 @@ public class FlexProjectMetadata
     /// </summary>
     public Guid? LangProjectId { get; set; }
     public ProjectWritingSystems? WritingSystems { get; set; }
+    public int? FlexModelVersion { get; set; }
 }
 
 public class ProjectWritingSystems

backend/LexCore/ServiceInterfaces/IHgService.cs

@@ -13,6 +13,7 @@ public interface IHgService
     Task SoftDeleteRepo(ProjectCode code, string deletedRepoSuffix);
     Task<ProjectWritingSystems?> GetProjectWritingSystems(ProjectCode code, CancellationToken token = default);
     Task<Guid?> GetProjectIdOfFlexProject(ProjectCode code, CancellationToken token = default);
+    Task<int?> GetModelVersionOfFlexProject(ProjectCode code, CancellationToken token = default);
     BackupExecutor? BackupRepo(ProjectCode code);
     Task ResetRepo(ProjectCode code);
     Task FinishReset(ProjectCode code, Stream zipFile);