hydra: do not perform git clone every time. in stead work on local clone and pull

2010-07-28 12:48:29 +00:00
parent 812689e523
commit 0802559b03
3 changed files with 30 additions and 35 deletions
--- a/src/sql/hydra.sql
+++ b/src/sql/hydra.sql
@ -311,8 +311,6 @@ create table CachedGitInputs (
    uri           text not null,
    branch        text not null,
    revision      text not null,
-    timestamp     integer not null, -- when we first saw this hash
-    lastSeen      integer not null, -- when we last saw this hash
    sha256hash    text not null,
    storePath     text not null,
    primary key   (uri, branch, revision)