diff options
| author | tv <tv@krebsco.de> | 2019-05-17 14:02:22 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2019-05-17 14:02:22 +0200 |
| commit | a666abeaabbed73749cd5e2f1745b4a4527c4bc6 (patch) | |
| tree | 5440d2059dd92f3635cb4a117ec040394a89eed1 /krebs/5pkgs/simple/push/default.nix | |
| parent | 2950b893b03253ef8000e939915bb9c8c1f1f524 (diff) | |
github-hosts-sync: make user name/mail overridable
Diffstat (limited to 'krebs/5pkgs/simple/push/default.nix')
0 files changed, 0 insertions, 0 deletions