Update and rename ssh-pubkey.md to ssh-pubkey.html

cilogon · Sep 8, 2023 · f789055 · f789055
1 parent fd80c37
commit f789055
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 8 deletions.
diff --git a/ssh-pubkey.html b/ssh-pubkey.html
@@ -0,0 +1,5 @@
+---
+permalink: /ssh-pubkey
+redirect_to:
+  - https://operations.access-ci.org/identity/ssh-pubkey
+---
diff --git a/ssh-pubkey.md b/ssh-pubkey.md