gitAndTools.git-filter-repo: init at 2.25.0

This commit is contained in:
Mario Rodas 2020-01-09 04:20:00 -05:00
parent 5f594c6a7c
commit bc6c029e12
No known key found for this signature in database
GPG key ID: 4C4BEFD7B18DC5E8
2 changed files with 31 additions and 0 deletions

View file

@ -40,6 +40,10 @@ let
git-fame = callPackage ./git-fame {};
git-filter-repo = callPackage ./git-filter-repo {
pythonPackages = python3Packages;
};
gita = python3Packages.callPackage ./gita {};
# The full-featured Git.

View file

@ -0,0 +1,27 @@
{ stdenv, fetchurl, pythonPackages }:
stdenv.mkDerivation rec {
pname = "git-filter-repo";
version = "2.25.0";
src = fetchurl {
url = "https://github.com/newren/git-filter-repo/releases/download/v${version}/${pname}-${version}.tar.xz";
sha256 = "1772if8ajaw80dsdw4ic6vjw24dq0b9w87qlkn0iw4b8r9yxp37a";
};
buildInputs = [ pythonPackages.python ];
dontBuild = true;
installPhase = ''
install -Dm755 -t $out/bin git-filter-repo
install -Dm644 -t $out/share/man/man1 Documentation/man1/git-filter-repo.1
'';
meta = with stdenv.lib; {
homepage = "https://github.com/newren/git-filter-repo";
description = "Quickly rewrite git repository history (filter-branch replacement)";
license = licenses.mit;
maintainers = [ maintainers.marsam ];
};
}