@@ -227,32 +227,32 @@ println("TASK 4 PASSED")
227227## TASK 5: Replace All {{PLACEHOLDER}} Tokens in RSR Files
228228
229229** Files:**
230- - ` /var/mnt/eclipse/repos/SMTLib.jl/SECURITY.md ` ({{OWNER}}, {{REPO}}, {{PROJECT_NAME}} , etc.)
231- - ` /var/mnt/eclipse/repos/SMTLib.jl/CONTRIBUTING.md ` ({{FORGE}}, {{OWNER}}, {{REPO}} )
232- - ` /var/mnt/eclipse/repos/SMTLib.jl/CODE_OF_CONDUCT.md ` ({{OWNER}}, {{REPO}} , etc.)
230+ - ` /var/mnt/eclipse/repos/SMTLib.jl/SECURITY.md ` (hyperpolymath, SMTLib.jl, SMTLib.Jl , etc.)
231+ - ` /var/mnt/eclipse/repos/SMTLib.jl/CONTRIBUTING.md ` (github.com, hyperpolymath, SMTLib.jl )
232+ - ` /var/mnt/eclipse/repos/SMTLib.jl/CODE_OF_CONDUCT.md ` (hyperpolymath, SMTLib.jl , etc.)
233233- ` /var/mnt/eclipse/repos/SMTLib.jl/docs/CITATIONS.adoc ` (wrong project name, AGPL license ref)
234234- ` /var/mnt/eclipse/repos/SMTLib.jl/ROADMAP.adoc ` (says "YOUR Template Repo Roadmap")
235235- ` /var/mnt/eclipse/repos/SMTLib.jl/ABI-FFI-README.md ` (line 1: "delete this line")
236236
237237** Problem:**
238- Dozens of ` {{OWNER}} ` , ` {{REPO}} ` , ` {{FORGE}} ` , ` {{PROJECT_NAME}} ` ,
239- ` {{SECURITY_EMAIL}} ` , ` {{PGP_FINGERPRINT}} ` , etc. remain unreplaced.
238+ Dozens of ` hyperpolymath ` , ` SMTLib.jl ` , ` github.com ` , ` SMTLib.Jl ` ,
239+ ` 6759885+hyperpolymath@users.noreply.github.com ` , ` [PGP fingerprint not set] ` , etc. remain unreplaced.
240240` ROADMAP.adoc ` line 2 says "YOUR Template Repo Roadmap." ` CITATIONS.adoc ` cites
241241"rsr-template-repo" with AGPL license. The ABI-FFI-README.md line 1 still says
242242"delete this line."
243243
244244** What to do:**
2452451 . In SECURITY.md:
246- - ` {{PROJECT_NAME}} ` -> ` SMTLib.jl `
247- - ` {{OWNER}} ` -> ` hyperpolymath `
248- - ` {{REPO}} ` -> ` SMTLib.jl `
249- - ` {{SECURITY_EMAIL}} ` -> ` jonathan.jewell@open.ac.uk `
246+ - ` SMTLib.Jl ` -> ` SMTLib.jl `
247+ - ` hyperpolymath ` -> ` hyperpolymath `
248+ - ` SMTLib.jl ` -> ` SMTLib.jl `
249+ - ` 6759885+hyperpolymath@users.noreply.github.com ` -> ` jonathan.jewell@open.ac.uk `
250250 - Remove the template instruction comment block (lines 3-19).
251251 - Remove PGP sections if not applicable.
2522522 . In CONTRIBUTING.md:
253- - ` {{FORGE}} ` -> ` github.com `
254- - ` {{OWNER}} ` -> ` hyperpolymath `
255- - ` {{REPO}} ` -> ` SMTLib.jl `
253+ - ` github.com ` -> ` github.com `
254+ - ` hyperpolymath ` -> ` hyperpolymath `
255+ - ` SMTLib.jl ` -> ` SMTLib.jl `
2562563 . In CODE_OF_CONDUCT.md:
257257 - Same replacements as above.
258258 - Remove template instruction block.
@@ -266,7 +266,7 @@ Dozens of `{{OWNER}}`, `{{REPO}}`, `{{FORGE}}`, `{{PROJECT_NAME}}`,
2662666 . In ABI-FFI-README.md:
267267 - Delete line 1 (` {{~ Aditionally delete this line...}} ` ).
268268 - Replace ` {{PROJECT}} ` with ` SMTLib ` and ` {{project}} ` with ` smtlib ` .
269- - Replace ` {{LICENSE}} ` with ` PMPL-1.0-or-later ` .
269+ - Replace ` PMPL-1.0-or-later ` with ` PMPL-1.0-or-later ` .
270270
271271** Verification:**
272272``` bash
0 commit comments