linux: add git repository and branch meta

2014-02-14 10:45:36 +02:00
parent cf3d2e0a17
commit 69f4bdac6e
7 changed files with 7 additions and 0 deletions
@@ -197,6 +197,7 @@ let
            + ")");
        license = "GPLv2";
        homepage = http://www.kernel.org/;
+        repositories.git = https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git;
        maintainers = [
          maintainers.shlevy
        ];