-- Leo's gemini proxy

-- Connecting to git.thebackupbox.net:1965...

-- Connected

-- Sending request

-- Meta line: 20 text/gemini

repo: gemini-site
action: commit
revision:
path_from:
revision_from: 1e52e4bff34120424a0f5060040961f9bc492fcb:
path_to:
revision_to:

git.thebackupbox.net

gemini-site

git://git.thebackupbox.net/gemini-site

commit 1e52e4bff34120424a0f5060040961f9bc492fcb
Author: Solderpunk <solderpunk@posteo.net>
Date:   Sun Nov 14 18:58:21 2021 +0100

    Clarify that MUST etc. are to be interpreted as per BCP14.

diff --git a/docs/specification.gmi b/docs/specification.gmi

index 26a92b21743a6ef594acd12df646371ac5ea9694..

index ..9df613c57026f53de239a9c1fefcbcfd24e4c16a 100644

--- a/docs/specification.gmi
+++ b/docs/specification.gmi
@@ -10,6 +10,10 @@ This is provided mostly so that people can quickly get up to speed on what I'm t

 Feedback on any part of this is extremely welcome, please email solderpunk@posteo.net.

+# Conventions used in this document
+
+The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", and "OPTIONAL" in this document are to be interpreted as described in BCP14.
+
 # 1 Overview

 Gemini is a client-server protocol featuring request-response transactions, broadly similar to gopher or HTTP.  Connections are closed at the end of a single transaction and cannot be reused.  When Gemini is served over TCP/IP, servers should listen on port 1965 (the first manned Gemini mission, Gemini 3, flew in March '65).  This is an unprivileged port, so it's very easy to run a server as a "nobody" user, even if e.g. the server is written in Go and so can't drop privileges in the traditional fashion.

-----END OF PAGE-----

-- Response ended

-- Page fetched on Sun Jun 2 15:21:45 2024