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

git-delete-merged-branches: 7.3.1 -> 7.4.0
This commit is contained in:
figsoda 2022-12-23 22:28:32 -05:00 committed by GitHub
commit 529626da06
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.3.1";
version = "7.4.0";
src = fetchFromGitHub {
owner = "hartwork";
repo = pname;
rev = "refs/tags/${version}";
sha256 = "sha256-9Y4n8OWZMwGoCunqwWtkDeDvRcJ4aepw1vgMXFHkhx0=";
sha256 = "sha256-17uFV3pjklqVW5ofeR54mgMh+q3uUCdqZG00Cc+4zFQ=";
};
propagatedBuildInputs = with python3Packages; [