Make build_servers.id just generated by default

As to make it easier to set explicitly.
This commit is contained in:
Christopher Baines 2024-12-15 20:54:11 +00:00
parent 73b53f46a3
commit 62d6b59013
4 changed files with 28 additions and 0 deletions

View file

@ -99,3 +99,4 @@ nar_indexes 2023-08-01T11:37:35Z Chris <chris@felis> # Add nar related indexes
git_repositories_poll_interval 2023-10-08T20:36:09Z Chris <chris@felis> # Add git_repositories.poll_interval
git_repositories_job_priority 2024-03-07T09:39:27Z Chris <chris@felis> # Add git_repositories.job_priority
build_server_build_id_index 2024-09-07T17:42:28Z Chris <chris@felis> # Add index on builds.build_server_build_id
alter_build_servers_id_default 2024-12-15T20:48:51Z Chris <chris@fang> # Alter build_servers id default