GitHub: Fix compatibility of web hook with Python 3.