diff options
author | Debian Janitor <janitor@jelmer.uk> | 2021-09-12 21:36:53 +0000 |
---|---|---|
committer | Debian Janitor <janitor@jelmer.uk> | 2021-09-12 21:36:53 +0000 |
commit | 6b4a14354e460b5439e2d288b9140fc017ccf0a3 (patch) | |
tree | dd0edcfb9f6bb40ff0a58903664e32cc06b5348a | |
parent | e6f542cd470ec0b63f29c55c93ae9a9cd16d0cc4 (diff) |
Update pattern for GitHub archive URLs from /<org>/<repo>/tags page/<org>/<repo>/archive/<tag> -> /<org>/<repo>/archive/refs/tags/<tag>.
Changes-By: lintian-brush
-rw-r--r-- | debian/watch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/watch b/debian/watch index e7f9c6b..07c2710 100644 --- a/debian/watch +++ b/debian/watch @@ -1,2 +1,2 @@ version=4 -https://github.com/janestreet/base/releases .*/archive/v(.*)\.tar\.gz +https://github.com/janestreet/base/releases .*/archive/refs/tags/v(.*)\.tar\.gz |