[Savannah-hackers-public] Install a post-receive hook in the GNU Emacs repository

[Gregory Heytings]

Hi,

We're in the process of installing a CI system for GNU Emacs.

Could you please add the following post-receive hook in the Emacs 
repository?

#!/bin/bash
while read line; do lines="${lines}${line};;"; done
{ timeout -s 9 -k 5 10 wget -q -O- --post-data "$lines" https://emacs-ci.heytings.org/ 
; } &> /dev/null

Of course, if the Emacs repository already contains a post-receive hook, 
it might be necessary to adapt the above lines.

TIA