From ca098008e9d86f3ea56de48db7a99456febdc778 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Herv=C3=A9=20Beraud?= Date: Mon, 15 Oct 2018 17:38:22 +0200 Subject: [PATCH] Add hberaud to ping list Change-Id: Ief4d002919463ad8f96d02c32a7d0bc4db014ada --- ping_me.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ping_me.py b/ping_me.py index a22d3b3..ae39505 100644 --- a/ping_me.py +++ b/ping_me.py @@ -20,7 +20,7 @@ import sys NOTIFY_PEPS = [ 'amotoki', 'amrith', 'ansmith', 'bnemec', 'dansmith', 'dhellmann', 'dims', 'dougwig', 'e0ne', 'flaper87', - 'garyk', 'haypo', 'electrocucaracha', 'jd__', + 'garyk', 'haypo', 'hberaud', 'electrocucaracha', 'jd__', 'johnsom', 'jungleboyj', 'kgiusti', 'kragniz', 'lhx_', 'moguimar', 'njohnston', 'raildo', 'redrobot', 'sileht', 'sreshetnyak', 'stephenfin', 'stevemar', 'therve', 'thinrichs',