* In the scheduler, don't check if we've already done a build (except

against the set of current builds for the job).  This ensures that
  the builds with the highest ID are what we want in the channel, even
  in case of reverts.

doc/dev-notes.txt

@@ -89,6 +89,8 @@
 
   alter table jobs add column disabled integer not null default 0;
   alter table builds add column maintainers text;
+
+  alter table builds add column isCurrent integer default 0;
   
   
 * Job selection: