gitAndTools.git-filter-repo: add meta platforms

This commit is contained in:
Mario Rodas 2020-06-09 18:18:18 -05:00
parent 4f5e740880
commit 3d44c01fe3
No known key found for this signature in database
GPG Key ID: 325649BCA6D53027

View File

@ -22,6 +22,7 @@ stdenv.mkDerivation rec {
homepage = "https://github.com/newren/git-filter-repo";
description = "Quickly rewrite git repository history (filter-branch replacement)";
license = licenses.mit;
inherit (pythonPackages.python.meta) platforms;
maintainers = [ maintainers.marsam ];
};
}