jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/373027 )
Change subject: Add debian/watch ...................................................................... Add debian/watch Change-Id: Ia0cfe16d820fe5ce9da73be40b24a244d1df4e28 --- A debian/watch 1 file changed, 5 insertions(+), 0 deletions(-) Approvals: Legoktm: Looks good to me, approved jenkins-bot: Verified diff --git a/debian/watch b/debian/watch new file mode 100644 index 0000000..c5b93ee --- /dev/null +++ b/debian/watch @@ -0,0 +1,5 @@ +version=4 +opts="filenamemangle=s%(?:.*?)?v?(\d[\d.]*)\.tar\.gz%uprightdiff-$1.tar.gz%" \ + https://github.com/wikimedia/uprightdiff/tags \ + (?:.*?/)?v?(\d[\d.]*)\.tar\.gz debian uupdate + -- To view, visit https://gerrit.wikimedia.org/r/373027 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia0cfe16d820fe5ce9da73be40b24a244d1df4e28 Gerrit-PatchSet: 1 Gerrit-Project: integration/uprightdiff Gerrit-Branch: debian Gerrit-Owner: Legoktm <[email protected]> Gerrit-Reviewer: Hashar <[email protected]> Gerrit-Reviewer: Legoktm <[email protected]> Gerrit-Reviewer: Paladox <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
