From 66f6c9ceb26c66ce5a25eaad0c72766fe22f8103 Mon Sep 17 00:00:00 2001 From: "C. McEnroe" Date: Sun, 15 Dec 2019 15:54:32 -0500 Subject: Set ssh port for git.causal.agency --- home/.ssh/config | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'home') diff --git a/home/.ssh/config b/home/.ssh/config index 79c0964a..0676b499 100644 --- a/home/.ssh/config +++ b/home/.ssh/config @@ -14,5 +14,5 @@ Host june july HostName %h.nyc3.do.causal.agency Port 2222 -Host temp.causal.agency +Host git.causal.agency temp.causal.agency Port 2222 -- cgit 1.4.1 5e4df6135da3edfa75c8580f21890c92'/> dontfiles
summary refs log tree commit diff
path: root/www/git.causal.agency/owner-filter.sh (unfollow)
Commit message (Collapse)Author
2021-09-12Replace htagml regex with strncmpJune McEnroe
Since ctags only ever produces regular expressions of the form /^re$/ or /^re/ with no other special characters, instead unescape the pattern and simply use strncmp. Running on a sqlite3.c amalgamation, the regex version takes ~37s while the strncmp version takes ~1s, producing identical output. Big win!
2021-09-11Also defer printing comment for lone close-parensJune McEnroe
2021-09-10Publish "git-comment"June McEnroe
2021-09-10Add git comment --pretty optionJune McEnroe
2021-09-08Defer printing comment if line is blank or closing braceJune McEnroe
This fixes badly indented comments.
2021-09-08Up default min-repeat to 30 linesJune McEnroe
2021-09-08Handle dirty lines in git-commentJune McEnroe
2021-09-08Document and install git-commentJune McEnroe
2021-09-08Add repeat and all options to git-commentJune McEnroe
2021-09-08Add group threshold to git-commentJune McEnroe