Merge pull request #187338 from SuperSandro2000/git-delete-merged-branches

This commit is contained in:
Sandro 2022-08-19 19:37:29 +02:00 committed by GitHub
commit b66b756e4c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,13 +2,13 @@
python3Packages.buildPythonApplication rec {
pname = "git-delete-merged-branches";
version = "7.0.0";
version = "7.2.0";
src = fetchFromGitHub {
owner = "hartwork";
repo = pname;
rev = "refs/tags/${version}";
sha256 = "sha256-CPJhd3QXXNm4RGBEDnNOohVOYKVI6I8uc3cDiTrXKvc=";
sha256 = "sha256-pdP+DDJOSqr/fUQPtb84l/8J4EA81nlk/U8h24X8n+I=";
};
propagatedBuildInputs = with python3Packages; [