Learn more about these different git repos.
Other Git URLs
9e7340c
@@ -8,5 +8,7 @@
UPDATE archivetypes SET extensions = 'tar tar.gz tar.bz2 tar.xz tgz' WHERE name = 'tar';
INSERT INTO archivetypes (name, description, extensions) VALUES ('vhdx', 'Hyper-V Virtual Hard Disk v2 image', 'vhdx');
+ -- add better index for sessions
+ CREATE INDEX sessions_expired ON sessions(expired);
COMMIT;
@@ -118,6 +118,7 @@
) WITHOUT OIDS;
CREATE INDEX sessions_master ON sessions(master);
CREATE INDEX sessions_active_and_recent ON sessions(expired, master, update_time) WHERE (expired IS NOT TRUE AND master IS NULL);
-- Channels are used to limit which tasks are run on which machines.
-- Each task is assigned to a channel and each host 'listens' on one
Fixes: https://pagure.io/koji/issue/1372
Original index is not used at all by pg planner.
:thumbsup:
@tkopecek to update PR to not drop the old index, just add the new one
rebased onto 9e7340c
updated
Commit 1caa24a fixes this pull-request
Pull-Request has been merged by mikem
Fixes: https://pagure.io/koji/issue/1372