[gringo] 01/20: watch gringo releases on github

[Thomas Krennwallner]

This is an automated email from the git hooks/post-receive script.

tkren-guest pushed a commit to branch devel
in repository gringo.

commit 53fff6b94d7b1722d53adb657faea21694e893dc
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Fri Dec 9 07:44:27 2016 +0100

    watch gringo releases on github
---
 debian/watch | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/debian/watch b/debian/watch
index 0380eef..1f4fe2c 100644
--- a/debian/watch
+++ b/debian/watch
@@ -3,7 +3,5 @@
 # Compulsory line, this is a version 3 file
 version=3
 
-# qa.debian.org runs a redirector which allows a simpler form of URL
-# for SourceForge based projects. The format below will automatically
-# be rewritten to use the redirector.
-http://sf.net/potassco/gringo-([\d\.]+)-source\.tar\.gz
+opts=filenamemangle=s/.+\/v?(\d\S+)\.tar\.gz/gringo-$1\.tar\.gz/ \
+  https://github.com/potassco/gringo/tags .*/v?(\d\S+)\.tar\.gz

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git