summaryrefslogtreecommitdiffstats
path: root/tv
diff options
context:
space:
mode:
Diffstat (limited to 'tv')
-rw-r--r--tv/2configs/gitrepos.nix6
-rw-r--r--tv/5pkgs/vim/file-line.nix2
2 files changed, 6 insertions, 2 deletions
diff --git a/tv/2configs/gitrepos.nix b/tv/2configs/gitrepos.nix
index fc76e5fd6..4d22fdff5 100644
--- a/tv/2configs/gitrepos.nix
+++ b/tv/2configs/gitrepos.nix
@@ -188,7 +188,11 @@ let {
# TODO make nick = config.krebs.build.host.name the default
nick = config.krebs.build.host.name;
server = "irc.r";
- verbose = true;
+ verbose = {
+ exclude = [
+ "refs/heads/head"
+ ];
+ };
} args);
make-public-repo = name: { cgit ? {}, ... }: {
diff --git a/tv/5pkgs/vim/file-line.nix b/tv/5pkgs/vim/file-line.nix
index 22597265a..0509cc4a0 100644
--- a/tv/5pkgs/vim/file-line.nix
+++ b/tv/5pkgs/vim/file-line.nix
@@ -3,7 +3,7 @@
pkgs.vimUtils.buildVimPlugin {
name = "file-line-1.0";
src = pkgs.fetchgit {
- url = git://github.com/bogado/file-line;
+ url = https://github.com/bogado/file-line;
rev = "refs/tags/1.0";
sha256 = "0z47zq9rqh06ny0q8lpcdsraf3lyzn9xvb59nywnarf3nxrk6hx0";
};