diff --git a/README.md b/README.md
index edc173a..95dbd2c 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # unmango/scm
 
-[![Hercules CI](https://hercules-ci.com/api/v1/site/github/account/unmango/project/github/badge)](https://hercules-ci.com/github/unmango/github)
+[![Hercules CI](https://hercules-ci.com/api/v1/site/github/account/unmango/project/scm/badge)](https://hercules-ci.com/github/unmango/scm)
 
 Source control infrastructure for unmango as code.
 Repositories, branch protection, and settings managed via [Pulumi](https://www.pulumi.com/).
diff --git a/github/repos.ts b/github/repos.ts
index 0f82698..3f7b767 100644
--- a/github/repos.ts
+++ b/github/repos.ts
@@ -158,22 +158,10 @@ export const pkgs = new PublicRepo('pkgs', {
 	vulnerabilityAlerts: false,
 });
 
-// Keep the Pulumi resource name as "scm"; repoName holds the current GitHub name until the rename lands.
 export const scm = new PublicRepo('scm', {
-	repoName: 'github',
 	description: 'unmango source control infrastructure',
 	topics: ['pulumi', 'iac', 'github'],
 	githubChecks: ['pulumi'],
-	// This repository already exists. ignoreChanges keeps the import from failing
-	// on settings that differ from the PublicRepo defaults.
-	repoOptions: {
-		import: 'github',
-		ignoreChanges: ['description', 'topics', 'squashMergeCommitTitle'],
-	},
-	rulesetOptions: {
-		import: 'github:1269371',
-		ignoreChanges: ['rules'],
-	},
 });
 
 export const slip = new PublicRepo('slip', {