maintainers: add gfrascadorio
Added new entry to maintainers Fixed new retry package to cite new maintainer
This commit is contained in:
parent
d0d4af2c40
commit
30d19f22e2
|
@ -3657,6 +3657,12 @@
|
||||||
githubId = 10353047;
|
githubId = 10353047;
|
||||||
name = "Tobias Happ";
|
name = "Tobias Happ";
|
||||||
};
|
};
|
||||||
|
gfrascadorio = {
|
||||||
|
email = "gfrascadorio@tutanota.com";
|
||||||
|
github = "gfrascadorio";
|
||||||
|
githubId = 37602871;
|
||||||
|
name = "Galois";
|
||||||
|
};
|
||||||
ggpeti = {
|
ggpeti = {
|
||||||
email = "ggpeti@gmail.com";
|
email = "ggpeti@gmail.com";
|
||||||
github = "ggpeti";
|
github = "ggpeti";
|
||||||
|
|
|
@ -17,7 +17,7 @@ stdenv.mkDerivation rec {
|
||||||
description = "Retry a command until the command succeeds";
|
description = "Retry a command until the command succeeds";
|
||||||
platforms = platforms.all;
|
platforms = platforms.all;
|
||||||
license = licenses.asl20;
|
license = licenses.asl20;
|
||||||
# maintainers = with maintainers; [ gfrascadorio ];
|
maintainers = with maintainers; [ gfrascadorio ];
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue