diff options
author | Daniel Gultsch <daniel@gultsch.de> | 2016-10-06 18:09:55 +0200 |
---|---|---|
committer | Daniel Gultsch <daniel@gultsch.de> | 2016-10-06 18:09:55 +0200 |
commit | 40e5090bdd4c021b25b1ce306704cc28a8b8cb0d (patch) | |
tree | 7d9af6a2b3badf316071effdb6d9c485d41a393c /LICENSE | |
parent | 9f060f477f9d0f53468c9061034f05a77f998eef (diff) |
issue ping after push was received
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions