We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 7b3a55e commit 5d1b292Copy full SHA for 5d1b292
extensions/ql-vscode/src/databases/github-database-updates.ts
@@ -78,6 +78,10 @@ export function isNewerDatabaseAvailable(
78
return null;
79
}
80
81
+ // We only consider databases to be updated if they have a different `commit_oid` than the
82
+ // one we have stored. If they have the same `commit_oid`, then they are the same database.
83
+ // This means that older databases which do not have a `commit_oid` (`null`) are always
84
+ // considered up-to-date.
85
if (matchingDatabase.commit_oid === origin.commitOid) {
86
87
0 commit comments