for scripts and detailed explanations on how to set up the webserver part
that you need for this action to work.
## Existing deploy
Here on `git.abstractnonsen.se`, we already have an instance deployed.
If you want to use it, contact [Max](https://git.abstractnonsen.se/max) or [Josia](https://git.abstractnonsen.se/josia) to set up ssh keys.
## Inputs
Regarding access to the server (defaults in parantheses):
-`host-user` (`pages`): The Linux user of your webserver for which you have configured the ssh key.
-`host` (`abstractnonsen.se`): Hostname to access, typically your domain.
-`host-key` (`ssh-ed25519 AAA...`): Public ssh hostkey (the one that would usually be in `~/.ssh/known_hosts`, including the key type but not the hostname
-`ssh-key`: SSH private key for authentication (the one usually in `~/.ssh/id_rsa`. If not specified, the `PAGES_SSH_KEY` secret (from gitea) will be read, this is the preferred and secure way to use this.
-`directory` (`public`): Directory to deploy. All files *in* this directory will be deployed.
-`index` (`true`): If `true`, `tree` will be used to generate a list of files into `index.html`.
-`index-title` (name of repository): Header and title of the generated `index.html`.