This repository has been archived on 2026-01-06. You can view files and clone it, but cannot push or open issues/pull-requests.
|
ALTER TABLE Target RENAME TO GitRepo;
|
|
ALTER TABLE TargetArch RENAME TO GitRepoArch;
|
|
|
|
ALTER TABLE GitRepoArch RENAME COLUMN target_id TO repo_id;
|
|
ALTER TABLE BuildLog RENAME COLUMN target_id TO repo_id;
|