Avoid redundant updates to GitHub credits

Tools/contribs_shared.ps1

@@ -9,6 +9,8 @@
 
 $ignore = @{
     "PJBot" = $true
+    "DeltaV-Bot" = $true # DeltaV GH bot
+    "pre-commit-ci[bot]" = $true
     "github-actions[bot]" = $true
     "ZDDM" = $true
     "TYoung86" = $true

Tools/dump_github_contributors.ps1

@@ -14,7 +14,7 @@ function load_contribs([string] $repo)
     # We use the ?anon=1 query param for reasons explained later.
     $qParams = @{
         "per_page" = 100
-        "anon" = 1
+        "anon" = true
     }
 
     $headers = @{
@@ -113,11 +113,11 @@ function load_contribs([string] $repo)
 }
 
 $engineJson = load_contribs("space-wizards/RobustToolbox")
-$contentJson = load_contribs("DeltaV-Station/Delta-v-rebase")
+$contentJson = load_contribs("DeltaV-Station/Delta-v")
 
 ($engineJson).login + ($contentJson).login `
-    | select -unique `
+    | Select-Object -CaseInsensitive -Unique `
     | Where-Object { -not $ignore[$_] }`
     | ForEach-Object { if($replacements[$_] -eq $null){ $_ } else { $replacements[$_] }} `
-    | Sort-object `
+    | Sort-object -CaseSensitive `
     | Join-String -Separator ", "