Github push ssh key

Github push ssh key details configuring a secure cryptographic SSH connection (such as adding an `id_ed25519.pub` public string to GitHub account settings) to allow developers to securely push code updates without password loops.