From b252a8c246a45c055b5810d31f71ce080a15e38f Mon Sep 17 00:00:00 2001 From: Hari Sekhon Date: Sun, 16 Aug 2020 18:26:19 +0100 Subject: [PATCH] renamed github_get_user_ssh_public_key.sh to github_get_user_ssh_public_key2.sh --- ...t_user_ssh_public_key.sh => github_get_user_ssh_public_key2.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename github_get_user_ssh_public_key.sh => github_get_user_ssh_public_key2.sh (100%) diff --git a/github_get_user_ssh_public_key.sh b/github_get_user_ssh_public_key2.sh similarity index 100% rename from github_get_user_ssh_public_key.sh rename to github_get_user_ssh_public_key2.sh