mirror of
https://github.com/pre-commit/pre-commit.git
synced 2026-02-17 08:14:42 +04:00
wip
This commit is contained in:
parent
49e28eea48
commit
ef464b31ac
3 changed files with 122 additions and 62 deletions
29
TODO.md
Normal file
29
TODO.md
Normal file
|
|
@ -0,0 +1,29 @@
|
|||
tables
|
||||
======
|
||||
|
||||
```sql
|
||||
CREATE TABLE IF NOT EXISTS manifests (
|
||||
repo TEXT NOT NULL,
|
||||
rev TEXT NOT NULL,
|
||||
manifest TEXT NOT NULL,
|
||||
PRIMARY KEY (repo, rev)
|
||||
);
|
||||
|
||||
-- `clones` -- ephemeral but helpful for pre-commit.ci to pre-seed ?
|
||||
CREATE TABLE IF NOT EXISTS clones (
|
||||
repo TEXT NOT NULL,
|
||||
rev TEXT NOT NULL,
|
||||
path TEXT NOT NULL,
|
||||
PRIMARY KEY (repo, rev)
|
||||
);
|
||||
|
||||
CREATE TABLE IF NOT EXISTS installs (
|
||||
repo TEXT NOT NULL,
|
||||
rev TEXT NOT NULL,
|
||||
language TEXT NOT NULL,
|
||||
language_version TEXT NOT NULL,
|
||||
additional_dependencies TEXT NOT NULL,
|
||||
path TEXT NOT NULL,
|
||||
PRIMARY KEY (repo, rev, language, language_version, additional_dependencies)
|
||||
);
|
||||
```
|
||||
Loading…
Add table
Add a link
Reference in a new issue