From 0547021a5dda96918ff56020fda94b170131af25 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Sat, 30 May 2020 16:13:01 -0400
Subject: debian/watch: Update for GitHub move

Ur/Web releases are now hosted on GitHub; update debian/watch to check
for releases there.
---
 debian/watch | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/debian/watch b/debian/watch
index 70157dab..cf0cc27f 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,3 +1,3 @@
-version=3
-opts=dversionmangle=s/\+dfsg-\d+$// \
-  http://impredicative.com/ur/main.html urweb-(.+).tgz
+version=4
+opts=filenamemangle=s/.+\/v?(\d\S+)\.tar\.gz/urweb-$1\.tar\.gz/ \
+  https://github.com/urweb/urweb/releases .*/v?(\d\S+)\.tar\.gz
-- 
cgit v1.2.3