testing github hook, see #1675