Skip to content

Commit 2139268

Browse files
committed
create ticket on manual repo index
1 parent 720caee commit 2139268

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

Sources/UnidocServer/Operations/Interactions/Unidoc.PackageIndexOperation.swift

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -80,11 +80,16 @@ extension Unidoc.PackageIndexOperation:Unidoc.MeteredOperation
8080
}
8181

8282
(package, _) = try await server.db.unidoc.index(
83-
package: .init("\(repo.owner.login).\(repo.name)"),
83+
package: "\(repo.owner.login).\(repo.name)",
8484
repo: .github(repo, crawled: .now()),
8585
mode: .automatic,
8686
with: session)
8787

88+
// If we are (re)indexing a package this way, we should create a crawling ticket
89+
// for the repo, for lack of a proper interface for requesting this.
90+
_ = try await server.db.crawlingTickets.create(
91+
tickets: [.init(id: package.id, node: repo.node, time: .zero)],
92+
with: session)
8893

8994
case .ref(let id, ref: let ref):
9095
if let metadata:Unidoc.PackageMetadata = try await server.db.packages.find(id: id,

0 commit comments

Comments
 (0)