2019/03/28 Diffing git repos (and webpages)

Recently Klaus Aehlig has published a small script that he uses to be informed, when a webpages changes (wwwdiff). In the last days I realized, that for me it would be convenient, to be informed on changes in certain git-repos. Examples include some software developed by friends who do not have a webpage where they announce changes, but a public git-repo. So here is a small patch to wwwdiff, that adds this functionallity. Thanks to the very flexible data format, one only needs to add some code for setup of the watch. Here git ls-remote helps us in the get script. To add a whatch to a branch of a git repo just call it as follows wwwdiff.pl "git://url branch" email_to_inform. For now this supports only directly the git-protocoll, but changes are easy.

Enough text, here is the patch

--- wwwdiff.pl.orig     2018-11-18 19:23:49.000000000 +0100
+++ wwwdiff.pl  2019-03-28 14:06:04.121921873 +0100
@@ -140,6 +140,9 @@
	if ($url =~ /^</) {
	  # watch an edbrowse marco
	  print GET "edbrowse <<EOI\n$url\nw \$1\nqt\nEOI\n";
+       } elsif ($url =~ /^git:\/\//) {
+               my ($repo, $branch) = split ' ', $url;
+               print GET "git ls-remote \Q$repo\E \Q$branch\E | cut -f1 > \$1";
     } else {
	  print GET "wget \Q$url\E -O \$1";
     }