-- 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: f694d0360fbe544493ba7a891ebf7e391a524d95:
path_to:
revision_to:

commit f694d0360fbe544493ba7a891ebf7e391a524d95
Author: Solderpunk <solderpunk@posteo.net>
Date:   Sat Nov 21 17:53:23 2020 +0100

    Add git-remote-gemini and Kate syntax highlighting to software list.

diff --git a/software/index.gmi b/software/index.gmi

--- a/software/index.gmi
+++ b/software/index.gmi
@@ -69,6 +69,7 @@ Here is a list of all known Gemini-related software.  If you've written some Gem

 => https://git.carcosa.net/jmcbray/gemini.el	text/gemini syntax highlighting for emacs
 => https://github.com/kakoune-editor/kakoune-extra-filetypes/blob/master/rc/gemini.kak	text/gemini syntax highlighting for kakoune
+=> gemini://ella.wantscuddl.es/gemini-syntax-highlighting-for-kate.xml	text/gemini syntax highlighting for Kate
 => https://github.com/yzzyx-network/nanorc/blob/master/gemini.nanorc	text/gemini syntax highlighting for nano
 => https://tildegit.org/sloum/gemini-vim-syntax		text/gemini syntax highlighting for vim

@@ -90,6 +91,7 @@ Here is a list of all known Gemini-related software.  If you've written some Gem
 => https://github.com/RangerMauve/gemini-fetch	gemini-fetch, a simple Node JS module to fetch Gemini content
 => https://github.com/RangerMauve/gemini-to-html	gemini-to-html, a simple Node JS module to convert text/gemini to HTML
 => https://github.com/pitr/gig			Gig, a Gemini application framework in Go
+=> https://github.com/dhuseby/git-remote-gemini	git-remote-gemini, a Git remote helper to clone git repositories over Gemini
 => https://github.com/CosmicToast/gmi		gmi, a text/gemini parsing library
 => https://github.com/LukeEmmet/html2gmi	html2gmi, a command line application to convert html to text/gemini
 => https://github.com/LukeEmmet/html2gemini	html2gemini, a Go library package to convert html to text/gemini

-- Response ended

-- Page fetched on Sun Jun 2 14:53:48 2024