From 90969d5e9defcd593c7acc416247cd7a6b04e532 Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Sat, 3 Oct 2020 17:51:33 +0200
Subject: Remove old files

These files were for ideas and explorations of solutions. We now have a
working implementation independent of them.
---
 git-todos | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100755 git-todos

(limited to 'git-todos')

diff --git a/git-todos b/git-todos
deleted file mode 100755
index 8ab96eb..0000000
--- a/git-todos
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/bin/sh
-
-# Show TODOs since base branch
-
-git diff --diff-filter=a -S'TODO' "$(git oldest-ancestor)"... |
-	egrep --after-context 1 '^\+.*\bTODO\b' |
-	sed 's/^+[[:space:]]*//'
-
-
-# Want:
-# - filename
-# - line number
-
-# Use git blame?
-
-# fgrep -A 1 -n TODO $(git diff --name-only $(git oldest-ancestor)... )
-# ^ not quite the same thing, as it will catch old TODOs in updated files
-
-# https://stackoverflow.com/questions/23298812/python-unified-diff-with-line-numbers-from-both-files
-# diff --unchanged-line-format=' %.2dn %L' --old-line-format="-%.2dn %L" --new-line-format="+%.2dn %L" <(git show @~:app/module/background/nativeMessageManager.js) app/module/background/nativeMessageManager.js
-- 
cgit v1.2.3