Merge pull request #77418 from marsam/init-gitAndTools.git-filter-repo

gitAndTools.git-filter-repo: init at 2.24.0
This commit is contained in:
Mario Rodas 2020-02-16 18:26:46 -05:00 committed by GitHub
commit a05d11a95a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 31 additions and 0 deletions

View file

@ -44,6 +44,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 ];
};
}