diff --git a/main.ts b/main.ts index 74e4124..ef94b36 100644 --- a/main.ts +++ b/main.ts @@ -757,7 +757,7 @@ export default class GitHubWikiPlugin extends Plugin { } async loadSettings(): Promise { - this.settings = Object.assign({}, DEFAULT_SETTINGS, await this.loadData()); + this.settings = Object.assign({}, DEFAULT_SETTINGS, await this.loadData() as Partial); if (!this.settings.seenPRActivity) this.settings.seenPRActivity = {}; } @@ -1139,7 +1139,6 @@ class GitHubRepoSettingTab extends PluginSettingTab { const { containerEl } = this; containerEl.empty(); - new Setting(containerEl).setName("GitHub Repo Tools").setHeading(); new Setting(containerEl).setName("Connection").setHeading(); new Setting(containerEl) diff --git a/manifest.json b/manifest.json index 0c22545..2b25b9d 100644 --- a/manifest.json +++ b/manifest.json @@ -2,7 +2,7 @@ "id": "github-repo-tools", "name": "GitHub Repo Tools", "version": "1.0.0", - "minAppVersion": "1.1.3", + "minAppVersion": "1.7.2", "description": "Monitor a GitHub repo — staleness alerts, PR dashboard, and activity notifications.", "author": "Kyle Whittle", "authorUrl": "https://github.com/kry-kylewhittle",