[arch-projects] [archweb] [PATCH] settings: Fix pgp.mit.edu setting

[Evangelos Foutras]

On Sun, Dec 20, 2015 at 9:50 PM, Johannes Löthberg
<johannes at kyriasis.com> wrote:
> Links should not use the port 11371.
>
> Signed-off-by: Johannes Löthberg <johannes at kyriasis.com>
> ---
>  settings.py | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/settings.py b/settings.py
> index 0423541..6ffed75 100644
> --- a/settings.py
> +++ b/settings.py
> @@ -156,7 +156,7 @@
>  }
>
>  ## Server used for linking to PGP keysearch results
> -PGP_SERVER = 'pgp.mit.edu:11371'
> +PGP_SERVER = 'pgp.mit.edu'
>
>  # URL to fetch a current list of available ISOs
>  ISO_LIST_URL = 'https://releng.archlinux.org/isos/'
> --
> 2.6.4

Applied, thanks.

(Also made the links use HTTPS in a follow up commit.)